C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán
Peter Csaba Ölveczky
José Eduardo Rivera
Published in:
AMMSE (2011)
Keyphrases
</>
real time systems
case study
real time
reactive systems
distributed systems
mission critical
open source
embedded systems
embedded real time systems
lessons learned
data model
image sequences
machine learning
visual features
fuzzy logic
real time database systems
real world