A Novel Approach to Modechart Verification of Real-Time Systems.

Jan Fiedor Marek Gach Milan Ceska

Published in: EUROCAST (1) (2011)

Keyphrases

real time systems
distributed systems
real time
timing constraints
embedded systems
real time database systems
mission critical
model checking
embedded real time systems
decision making
architectural model
real time embedded
machine learning
computational intelligence