Login / Signup

Procedure-Level Verification of Real-time Concurrent Systems.

Farn WangChia-Tien Dan Lo
Published in: Real Time Syst. (1999)
Keyphrases
  • concurrent systems
  • real time
  • distributed systems
  • process algebra
  • temporal logic
  • petri net
  • model checking
  • formal specification
  • transition systems
  • low cost
  • information systems
  • data sets