학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 18건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 2024)
Academic Journal
In: Journal of Object Technology. (Journal of Object Technology, 1 July 2019, 18(2):1-22)
Book
In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13372 LNCS:174-187)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10805 LNCS:99-114)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 6th Workshop on Synthesis, SYNT 2017. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 28 November 2017, 260:116-143)
Conference
In: CEUR Workshop Proceedings, PNSE 2016 - Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes and Petri Nets 2016 - co-located 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. (CEUR Workshop Proceedings, 2016, 1591:287-306)
Book
In: Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9779:513-530)
Conference
In: Proceedings - International Conference on Application of Concurrency to System Design, ACSD, Proceedings - 2015 15th International Conference on Application of Concurrency to System Design, ACSD 2015. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD, 10 December 2015, 2015-December:50-59)
검색 결과 제한하기
제한된 항목
[AR] Colange, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어