Sciweavers

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