Sciweavers

22698 search results - page 21 / 4540
» Modeling in Software Engineering
Sort
View
FOSSACS
2010
Springer
15 years 14 days ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson
ICSE
2009
IEEE-ACM
14 years 11 months ago
SLA Protection models for virtualized data centers
Alessio Gambi, Mauro Pezzè, Michal Young