학술논문
'학술논문'
에서 검색결과 55건 | 목록
1~10
Conference
2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2021 ACM/IEEE 24th International Conference on. :205-215 Oct, 2021
Academic Journal
Cofer, D.; Amundson, I.; Babar, J.; Hardin, D.; Slind, K.; Alexander, P.; Hatcliff, J.; Robby, .; Klein, G.; Lewis, C.; Mercer, E.; Shackleton, J.
IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 20(3):52-64 Jun, 2022
Academic Journal
In: Software and Systems Modeling . (Software and Systems Modeling, October 2023, 22(5):1451-1471)
Academic Journal
Belt, J.; Hatcliff, J.; Robby; Shackleton, J.; Carciofini, J.; Carpenter, T.; Mercer, E.; Amundson, I.; Babar, J.; Cofer, D.; Hardin, D.; Hoech, K.; Slind, K.; Kuz, I.; Mcleod, K.
In: Journal of Systems Architecture . (Journal of Systems Architecture, January 2023, 134)
Conference
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. Parallel and distributed processing Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International. :31 2004
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
Book
In: The Seventeen Provers of the World: Foreword by Dana S. Scott . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3600 LNAI:11-19)
Synthesis of verified architectural components for critical systems hosted on a verified microkernel
Conference
In: Proceedings of the Annual Hawaii International Conference on System Sciences , Proceedings of the 53rd Annual Hawaii International Conference on System Sciences, HICSS 2020. (Proceedings of the Annual Hawaii International Conference on System Sciences, 2020, 2020-January:6365-6374)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2860:81-95)
검색 결과 제한하기
제한된 항목
[AR] Slind, K.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어