Sciweavers

3914 search results - page 63 / 783
» Automating SLA modeling
Sort
View
KBSE
2010
IEEE
15 years 4 months ago
Automated model grouping
Michael Becker, Volker Gruhn
CORR
2009
Springer
63views Education» more  CORR 2009»
15 years 4 months ago
An Intuitive Automated Modelling Interface for Systems Biology
Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...
CORR
2009
Springer
117views Education» more  CORR 2009»
15 years 4 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus