Sciweavers

9006 search results - page 25 / 1802
» Modeling Software
Sort
View
DAGSTUHL
2010
15 years 27 days ago
Modeling
Markus Geyer, Benjamin Hiller, Sascha Meinert
FOSSACS
2010
Springer
15 years 26 days ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
15 years 23 days ago
Automated model grouping
Michael Becker, Volker Gruhn