Sciweavers

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