Sciweavers

5407 search results - page 30 / 1082
» The Software Engineering Global Model
Sort
View
AC
2006
Springer
15 years 6 months ago
Models and Methods in Comparative Genomics
Guillaume Bourque, Louxin Zhang
DAGSTUHL
2010
15 years 4 months ago
Modeling
Markus Geyer, Benjamin Hiller, Sascha Meinert
FOSSACS
2010
Springer
15 years 4 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
KBSE
2010
IEEE
15 years 4 months ago
Automated model grouping
Michael Becker, Volker Gruhn