Loading...
Loading...

Go to the content (press return)

Input/output compatibility of reactive systems

Author
Carmona, J.
Type of activity
Presentation of work at congresses
Name of edition
4th International Conference on Formal Methods in Computer-Aided Design
Date of publication
2002
Presentation's date
2002-11-06
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants