Sciweavers

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