Towards better support for the evolution of safety requirements via the model monitoring approach.

Zhe Chen Gilles Motet

Published in: ICSE (2) (2010)

Keyphrases

statistical model
probabilistic model
computational model
experimental data
conceptual model
formal model
high level
real time
data sets