Sign in

A process algebraic framework for specification and validation of real-time systems.

Adnan SherifAna CavalcantiJifeng HeAugusto Sampaio
Published in: Formal Aspects Comput. (2010)
Keyphrases
  • real time systems
  • architectural model
  • real time database systems
  • real time
  • process model
  • artificial intelligence
  • web services
  • distributed systems
  • mission critical