Login / Signup
A process algebraic framework for specification and validation of real-time systems.
Adnan Sherif
Ana Cavalcanti
Jifeng He
Augusto 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