Sciweavers

4647 search results - page 42 / 930
» Composite Design Patterns
Sort
View
95
Voted
FM
1999
Springer
122views Formal Methods» more  FM 1999»
15 years 6 months ago
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Michel Charpentier, K. Mani Chandy
IJCAI
1993
15 years 3 months ago
Compositional Model-Based Design
Prasanta K. Bose, Shankar A. Rajamoney