학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 49건 | 목록 1~10
Academic Journal
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 72(9):2426-2439 Sep, 2023
Academic Journal
IEEE Embedded Systems Letters IEEE Embedded Syst. Lett. Embedded Systems Letters, IEEE. 15(1):49-52 Mar, 2023
Academic Journal
IEEE Access Access, IEEE. 11:18475-18498 2023
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 2024)
Academic Journal
IEEE Transactions on Industrial Informatics IEEE Trans. Ind. Inf. Industrial Informatics, IEEE Transactions on. 16(7):4659-4669 Jul, 2020
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, December 2021, 59(1-3):205-252)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 30th International Symposium on Temporal Representation and Reasoning, TIME 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 278)
Conference
In: ACM International Conference Proceeding Series, iSOFT ISEC 2023 - Proceedings of the 16th Innovations in Software Engineering Conference (Formerly known as India Software Engineering Conference). (ACM International Conference Proceeding Series, 23 February 2023)
Academic Journal
In: Journal of Systems and Software. (Journal of Systems and Software, October 2017, 132:353-365)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 1 August 2017, 51(1):154-199)
검색 결과 제한하기
제한된 항목
[AR] Pinisetty, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어