Architectural Concurrency Equivalence with Chaotic Models

2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software ◽

10.1109/mompes.2008.10 ◽

2008 ◽

Author(s):

Dionisio de Niz

Download Full-text