학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 15건 | 목록 1~10
Book
In: Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12853 LNCS:39-51)
Conference
In: Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019, Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019. (Proceedings - 2019 15th European Dependable Computing Conference, EDCC 2019, September 2019, :71-72)
Book
In: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11699 LNCS:74-86)
Conference
In: VEHITS 2019 - Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019 - Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems. (VEHITS 2019 - Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019, :550-555)
Academic Journal
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2041:1-5)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, January 1995, 6(1):11-44)
Book
In: Proceedings of The Ifip Tc 11 23rd International Information Security Conference: IFIP 20th World Computer Congress, IFIP SEC'08. (IFIP International Federation for Information Processing, 2008, 278:541-555)
Book
In: TAPSOFT 1993: Theory and Practice of Software Development - 4th International Joint Conference CAAP/FASE, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1993, 668 LNCS:644-657)
Book
In: Computer Aided Verification - 4th International Workshop, CAV 1992, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1993, 663 LNCS:260-273)
검색 결과 제한하기
제한된 항목
[AR] Loiseaux, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어