Sciweavers

9006 search results - page 25 / 1802
» Modeling Software
Sort
View
160
Voted
SOFTWARE
1998
15 years 7 months ago
Read My Lips: No New Models!
Karl E. Wiegers
DAGSTUHL
2010
15 years 6 months ago
Modeling
Markus Geyer, Benjamin Hiller, Sascha Meinert
FOSSACS
2010
Springer
15 years 6 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
15 years 5 months ago
Automated model grouping
Michael Becker, Volker Gruhn