학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 81건 | 목록 1~10
Academic Journal
IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 20(1):695-707 Jan, 2023
Academic Journal
IEEE Transactions on Reliability IEEE Trans. Rel. Reliability, IEEE Transactions on. 70(2):676-691 Jun, 2021
Academic Journal
In: Journal of Applied Crystallography. (Journal of Applied Crystallography, 1 June 2022, 55:515-525)
Conference
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :346-355 2004
Conference
31st Annual International Computer Software and Applications Conference (COMPSAC 2007) Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International. 2:658-674 Jul, 2007
Book
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14198 LNCS:117-127)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 15 November 2017, 148:66-87)
Book
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13294 LNCS:20-31)
Academic Journal
In: Information and Software Technology. (Information and Software Technology, 1 April 2015, 60:51-76)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, January 2014, 27(1):53-77)
검색 결과 제한하기
제한된 항목
[AR] Laibinis, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어