Practical approach to formal design of real-time systems

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 1996, Pages 1014-1019

  Baresi, Luciano ^a   Braberman, Victor ^a   Felder, Miguel ^a   Pezze, Mauro ^a   Piezianek, Fabio ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FORMAL LOGIC; INDUSTRIAL APPLICATIONS; PETRI NETS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

DESIGN NOTATION; ENGINEERING INDUSTRIAL SOFTWARE; FORMAL METHODS;

REAL TIME SYSTEMS;

EID: 0030407523     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)