Sciweavers

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