Time-Safety Checking for Embedded Programs.

Thomas A. Henzinger Christoph M. Kirsch Rupak Majumdar Slobodan Matic

Published in: EMSOFT (2002)

Keyphrases

embedded systems
database
artificial intelligence
e learning
data structure
monitoring system
automatic programming
civil aviation