On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.

Purnendu Sinha Neeraj Suri

Published in: RTSS (1999)

Keyphrases

real time
timing constraints
control system
genetic algorithm
real time systems
information retrieval
formal methods
formal representation