Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach.

Charles André Marie-Agnès Peraldi Jean-Paul Rigault

Published in: ISORC (2001)

Keyphrases

real time systems
real time
distributed systems
embedded systems
timing constraints
object oriented programming language
mission critical
machine learning
artificial intelligence
database
relational databases
real time embedded