-
451
-
452
Automatic synthesis of deadlock free connectors for COM
Published in Software engineering notes.Article -
453
A notation for problematic architecture interactions.
Published in Software engineering notes.Article -
454
Modular verification of collaboration-based software designs.
Published in Software engineering notes.Article -
455
WREN---an environment for component-based development.
Published in Software engineering notes.Article -
456
-
457
-
458
-
459
-
460