Sciweavers

2558 search results - page 96 / 512
» Model Composition Contracts
Sort
View
FORMATS
2008
Springer
15 years 5 months ago
Compositional Abstraction in Real-Time Model Checking
Jasper Berendsen, Frits W. Vaandrager
IJCAI
1993
15 years 5 months ago
Compositional Model-Based Design
Prasanta K. Bose, Shankar A. Rajamoney