학술논문
'학술논문'
에서 검색결과 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
Smirnova, Oxana; Behrmann, Gerd; Gronager, Michael; Johansson, Daniel; Kleist, Josva; Konstantinov, Aleksandr; Konya, Bal´zs; Jensen, Henrik Thostrup
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
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Rangan, C. Pandu; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Grumberg, Orna; Huth, Michael; Rasmussen, Jacob I.; Behrmann, Gerd; Larsen, Kim G.
Tools & Algorithms for the Construction & Analysis of Systems (9783540712084); 2007, p231-245, 15p
Book
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C.; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Damm, Werner; Hermanns, Holger; Behrmann, Gerd; Cougnard, Agnès; David, Alexandre
Computer Aided Verification (9783540733676); 2007, p121-125, 5p
Book
Model Checking Software (9783540331025); 2006, p35-52, 18p
Book
Formal Modeling & Analysis of Timed Systems; 2005, p81-94, 14p
Book
Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; Roever, Willem-Paul; Behrmann, Gerd; Larsen, Kim G.; Rasmussen, Jacob I.
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)
주제어
언어