Sciweavers

1746 search results - page 13 / 350
» Residual for Component Specifications
Sort
View
ICSE
2009
IEEE-ACM
14 years 2 months ago
From system specifications to component behavioral models
Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...