Sciweavers

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