학술논문
'학술논문'
에서 검색결과 40건 | 목록
10~20
Book
Model Checking Software (9783319325811); 2016, p78-96, 19p
Periodical
Journal of Reliable Intelligent Environments; September 2017, Vol. 3 Issue: 3 p189-207, 19p
Periodical
Journal of Reliable Intelligent Environments; July 2017, Vol. 3 Issue: 1 p55-79, 25p
Periodical
Formal Aspects of Computing; May 2017, Vol. 29 Issue: 3 p531-557, 27p
Academic Journal
Comini, Marco (I-UDIN-MIP) AMS Author Profile; Gallardo, María-del-Mar (E-MAL-LG) AMS Author Profile; Titolo, Laura (1-NIAER) AMS Author Profile; Villanueva, Alicia (E-VLNP-IS) AMS Author Profile
Book
Vimercati, Sabrina de Capitani; Syverson, Paul; Gollmann, Dieter; Yagüe, Mariemma I.; Gallardo, María-del-Mar; Maña, Antonio
Computer Security - ESORICS 2005; 2005, p24-43, 20p
Academic Journal
Software Testing: Verification & Reliability; Sep2014, Vol. 24 Issue 6, p438-471, 34p
Academic Journal
Formal Aspects of Computing: Applicable Formal Methods. May 2017 29(3):531-557
Book
Formal Methods for Industrial Critical Systems (9783642045691); 2009, p210-212, 3p
Conference
Gallardo, María-del-Mar (E-MAL-ISF) AMS Author Profile; Merino, Pedro (E-MAL-ISF) AMS Author Profile; Panizo, Laura (E-MAL-ISF) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Gallardo, María-del-Mar
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어