Formal development and validation of Java dependable distributed systems

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

Volumn , Issue , 1999, Pages 98-108

  Serugendo, Giovanna Di Marzo ^a   Guelfi, Nicolas ^a   Romanovsky, Alexander ^a   Zorzo, Avelino Francisco ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DATA STRUCTURES; FAULT TOLERANT COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SYSTEMS ANALYSIS;

COMPLEX CONCURRENT SYSTEMS; COORDINATED ATOMIC ACTION; DESIGN FOR VALIDATION; JAVA DEPENDABLE DISTRIBUTED SYSTEMS; LOGICAL FORMULAE; STEPWISE REFINEMENT;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (19)