The Model-Integrated Computing Tool Suite.

Janos Sztipanovits Gabor Karsai Sandeep Neema Ted Bapty

Published in: Model-Based Engineering of Embedded Real-Time Systems (2007)

Keyphrases

mathematical model
computational model
statistical model
objective function
probabilistic model
database
test set