Sciweavers

7380 search results - page 21 / 1476
» Engineering Software Intensive Systems
Sort
View
KBSE
2005
IEEE
14 years 1 months ago
Compositional reasoning for port-based distributed systems
Alma L. Juarez Dominguez, Nancy A. Day