학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Academic Journal
In: Journal of Systems and Software. (Journal of Systems and Software, July 2024, 213)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, December 2021, 33(6):855-884)
Conference
1996 IEEE International Symposium on Circuits and Systems (ISCAS) Circuits and systems Circuits and Systems (ISCAS), 1996 IEEE International Symposium on. 4:249-252 vol.4 1996
Conference
In: Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020, Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020. (Proceedings - 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020, 7 October 2020, :11-21)
Book
In: Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11918 LNCS:379-398)
Book
In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11724 LNCS:87-104)
In: arXiv. (arXiv, 15 May 2019)
Book
In: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9593:40-60)
Book
In: NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9058:375-389)
Book
In: Tests and Proofs - 7th International Conference, TAP 2013, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7942 LNCS:76-95)
검색 결과 제한하기
제한된 항목
[AR] Nemouchi, Y.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어