DMCA

Bounded Analysis and Decomposition for Behavioural Descriptions of Components (2006)

Cached

Download Links

by Pascal Poizat , Jean-claude Royer , Gwen Salaün
Venue:In International Poizat P., Royer J.-C.: A Formal Architectural Description Language ... Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’06
Citations:12 - 6 self