Sciweavers

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