Authors
Eun-Young Kang, Pierre-Yves Schobbens, Axel Legay
Publication date
2011
Description
A Pattern-Driven Methodology for the Specification and Verification of Component-Based
Embedded Systems — the Research Portal - University of Namur Skip to main navigation Skip
to search Skip to main content the Research Portal - University of Namur Home the Research
Portal - University of Namur Logo English Français Home Profiles Research units Projects
Research output Student theses Equipment Datasets Prizes Activities Press/Media Search by
expertise, name or affiliation A Pattern-Driven Methodology for the Specification and Verification
of Component-Based Embedded Systems Eun-Young Kang, Pierre-Yves Schobbens, Axel
Legay Faculty of Computer Science Research output: Other contribution Overview Original
language English Publication status Unpublished - 2011 Cite this APA Author BIBTEX Harvard
Standard RIS Vancouver Powered by Pure, Scopus & Elsevier Fingerprint Engine™ All …
Scholar articles
EY Kang, PY Schobbens, A Legay - 2011