Proving Safety Properties for Embedded Control Systems.

Cinzia Bernardeschi Alessandro Fantechi Stefania Gnesi Giorgio Mongardi

Published in: EDCC (1996)

Keyphrases

control system
desirable properties
topological properties
database
real time
data sets
machine learning
information systems
decision making
website
decision trees
multi agent
data model
embedded systems
control software