Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software.

Arjan J. de Roo Hasan Sözer Mehmet Aksit

Published in: SSIRI (2011)

Keyphrases

domain specific
physical characteristics
control software
probabilistic model
statistical models
general purpose
computational models
case study
statistical model
domain independent
multi agent systems
low cost
process model
mathematical models