Verification criteria for a compositional model for reactive systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2000, Pages 25-35

  Bellini, P ^a   Bruno, M A ^a   Nesi, P ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; OBJECT ORIENTED PROGRAMMING;

COMPOSITIONAL SYSTEMS; REACTIVE SYSTEMS;

INPUT OUTPUT PROGRAMS;

EID: 0033681405     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (14)