Sciweavers

22698 search results - page 9 / 4540
» Modeling in Software Engineering
Sort
View
APSEC
2002
IEEE
14 years 9 days ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ICSM
1998
IEEE
13 years 11 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol