학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 39건 | 목록 1~10
Academic Journal
In IFAC Proceedings Volumes 2005 38(1):50-55
Academic Journal
In Electronic Notes in Theoretical Computer Science October 2002 68(4):486-502
Conference
2011 IEEE Seventh International Conference on eScience E-Science (e-Science), 2011 IEEE 7th International Conference on. :181-188 Dec, 2011
Academic Journal
ACM SIGMETRICS Performance Evaluation Review. 32(4):34-40
Book
Model Checking Software (9783540331025); 2006, p35-52, 18p
Book
Formal Modeling & Analysis of Timed Systems; 2005, p81-94, 14p
Book
Formal Methods for Components & Objects; 2005, p162-182, 21p
Book
Computer Aided Verification; 2000, p216-231, 16p
검색 결과 제한하기
제한된 항목
[AR] Behrmann, Gerd
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어