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