학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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
Formal Aspects of Computing (Form. Asp. Comput.) (20170101), 29, no.~3, 531-557. ISSN: 0934-5043 (print).eISSN: 1433-299X.
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
Analysis, verification and transformation for declarative programming and intelligent systems---essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday (20230101), 151-169.
검색 결과 제한하기
제한된 항목
[AR] Gallardo, María-del-Mar
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어