학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 44건 | 목록 1~10
Academic Journal
Hafidi, Y. (NL-EIND) AMS Author Profile; de Vink, E. P. (NL-EIND) AMS Author Profile
Journal of Logical and Algebraic Methods in Programming (J. Log. Algebr. Methods Program.) (20230101), 130, Paper No 100813, 16~pp. ISSN: 2352-2208 (print).eISSN: 2352-2216.
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)
주제어
언어