Formal verification for distributed real-time control: Periodic producer/consumer

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

Volumn , Issue , 1996, Pages 230-238

  Koppenhoefer, S ^a   Decotignie, J D ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA TRANSFER; DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; PARAMETER ESTIMATION; REAL TIME SYSTEMS; SYNCHRONIZATION; SYSTEMS ANALYSIS; TIME VARYING SYSTEMS;

ADAPTED SYNCHRONOUS MODEL (ASM); DISTRIBUTED REAL TIME CONTROL; FORMAL VERIFICATION;

TELECOMMUNICATION NETWORKS;

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

References (9)