학술논문
'학술논문'
에서 검색결과 13건 | 목록
1~10
Academic Journal
Wei, R.; Foster, S.; Mei, H.; Yan, F.; Habli, I.; Kelly, T.; Nemouchi, Y.; Yang, R.; O'Halloran, C.; Tudor, N.
In: Journal of Systems and Software . (Journal of Systems and Software, July 2024, 213)
Book
In: Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14095 LNCS:64-84)
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
Verbeek, F.; Havle, O.; Tverdyshev, S.; Blasum, H.; Schmaltz, J.; Langenstein, B.; Stephan, W.; Wolff, B.; Nemouchi, Y.
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)
검색 결과 제한하기
제한된 항목
[AR] Nemouchi, Y.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어