Paper

A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems

CALDAS, R. B. ; BARRETO, R. S. ; CORDEIRO, L. C. ; CAMPOS, S. V. A. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS Applied Computing, 2011, Rio de Janeiro. Proceedings of the AC'2011, 2011. v. 1. p. 379-386.

2011

Created by Lattes PostCaptcha Importer at 2018-05-31 17:28:22.0.
Simplified Graph of Associations
Quid