On the Timed Automata-Based Verification of Ravenscar Systems.

Iulian Ober Nicolas Halbwachs

Published in: Ada-Europe (2008)

Keyphrases

neural network
systems require
distributed systems
formal methods
learning environment
expert systems
mobile robot
management system
intelligent systems
complex systems
finite state machines
multimodal biometrics
asynchronous circuits
retrieval systems
petri net
database systems
case study
web pages