Formal approach for architectural modeling and prototyping of distributed real-time systems

Proceedings of the Hawaii International Conference on System Sciences

Volumn 1, Issue , 1997, Pages 481-490

  Deng, Yi ^a   Lu, Shengkai ^a   Evangelist, Michael ^a  

^a FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; PETRI NETS; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING;

SOFTWARE PACKAGE NOAM;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0031370058     PISSN: 10603425     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)