Sciweavers

3914 search results - page 63 / 783
» Automating SLA modeling
Sort
View
173
Voted
TOMACS
2002
83views more  TOMACS 2002»
15 years 7 months ago
Guest editorial: Special issue on computer automated multi-paradigm modeling
Pieter J. Mosterman, Hans Vangheluwe
KBSE
2010
IEEE
15 years 5 months ago
Automated model grouping
Michael Becker, Volker Gruhn
CORR
2009
Springer
63views Education» more  CORR 2009»
15 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»
15 years 5 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus