학술논문
'학술논문'
에서 검색결과 15건 | 목록
1~10
Academic Journal
Mead, M.I.; Bevilacqua, M.; Loiseaux, C.; Hallett, S.H.; Jude, S.; Emmanouilidis, C.; Harris, J.; Leinster, P.; Mutnuri, S.; Tran, T.H.; Williams, L.
In Array July 2022 14
Book
Marko, N.; Castella Triginer, J.M.; Striecks, C.; Braun, T.; Schwarz, R.; Marksteiner, S.; Vasenev, A.; Kemmerich, J.; Hamazaryan, H.; Shan, L.; Loiseaux, C.
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)
주제어
언어