Original language | English |
---|---|
Publication status | Unpublished - 2011 |
A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems
Eun-Young Kang, Pierre-Yves Schobbens, Axel Legay
Research output: Other contribution