학술논문
'학술논문'
에서 검색결과 44건 | 목록
1~10
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets.
Academic Journal
Hafidi, Y. (NL-EIND) AMS Author Profile; de Vink, E. P. (NL-EIND) AMS Author Profile
Conference
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on. :177-186 Jul, 2007
Conference
Proceedings of the 2010 ACM Symposium on Applied Computing. :2406-2413
Book
Theory & Practice of Formal Methods; 2016, p242-260, 19p
Book
Formal Aspects of Component Software (9783642272684); 2012, p125-144, 20p
Book
Leveraging Applications of Formal Methods, Verification & Validation; 2010, p143-159, 17p
Book
Transactions on Computational Systems Biology Xi; 2009, p69-89, 21p
검색 결과 제한하기
제한된 항목
[AR] de Vink, E. P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어