학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 535건 | 목록 170~180
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12478 LNCS:348-365)
Book
In: Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12297 LNCS:68-82)
Conference
In: ACM International Conference Proceeding Series, 21st International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2019 - Proceedings. (ACM International Conference Proceeding Series, 2 December 2019)
Conference
In: 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, 2019 4th International Conference on System Reliability and Safety, ICSRS 2019. (2019 4th International Conference on System Reliability and Safety, ICSRS 2019, November 2019, :126-135)
Academic Journal
In: Engineering Applications of Artificial Intelligence. (Engineering Applications of Artificial Intelligence, June 2012, 25(4):705-719)
검색 결과 제한하기
제한된 항목
[AR] Nyberg, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어