Synthesizing Robust Systems with RATSY

Roderick Bloem Hans-Jürgen Gamauf Georg Hofferek Bettina Könighofer Robert Könighofer

Published in: SYNT (2012)

Keyphrases

distributed systems
intelligent systems
artificial intelligence
complex systems
systems require
database
real time
information technology
management system
computationally efficient
embedded systems