-
1
المؤلفون: Johansson, Bjarne, Pourvatan, Bahman, Moezkarimi, Zahra, Papadopoulos, Alessandro, Professor, Sirjani, Marjan
المصدر: Electronic Proceedings in Theoretical Computer Science, EPTCS. :169-191
مصطلحات موضوعية: Controllers, Distributed parameter control systems, Finite difference method, Potential problems, Redundant controllers, Formal verification
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-66500Test
https://doi.org/10.4204/EPTCS.399.8Test -
2
المؤلفون: Xavier, Midhun, Dubinin, Victor, Patil, Sandeep, Vyatkin, Valeriy
المصدر: IEEE Open Journal of the Industrial Electronics Society.
مصطلحات موضوعية: Formal Verification, IEC 61499, Plant Model Generation, Process mining, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem
وصف الملف: electronic
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-107515Test
https://doi.org/10.1109/OJIES.2024.3406059Test
https://ltu.diva-portal.org/smash/get/diva2:1873563/FULLTEXT01.pdfTest -
3
المؤلفون: Moradi, Fereidoun, Abbaspour Asadollah, Sara, Pourvatan, Bahman, Moezkarimi, Zahra, Sirjani, Marjan
المصدر: The Journal of logical and algebraic methods in programming. 139
مصطلحات موضوعية: Cyber-Physical Systems (CPS), Formal verification, Model abstraction, Attack detection system, Runtime monitoring, Tiny Digital Twin
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-66419Test
https://doi.org/10.1016/j.jlamp.2024.100965Test -
4
المؤلفون: Khan, Suleman, Singh Gaba, Gurjot, Dr., 1988, Boeira, Felipe, 1992, Gurtov, Andrei, 1979
مصطلحات موضوعية: Cybersecurity, DRIP, Formal verification, Tamarin, UAS.
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-201795Test
https://doi.org/10.1109/UVS59630.2024.10467159Test -
5
المؤلفون: Lidström, Christian
المساهمون: Gurov, Dilian, 1964, Balliu, Musard, Beckert, Bernhard, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: software sontracts, contract-based design, formal verification, deductive verification, contract inference, program instrumentation, embedded software, embedded systems, Frama-C, Datalogi, Computer Science
وصف الملف: electronic
-
6
المؤلفون: Selvaraj, Yuvaraj, 1990, Krook, Jonas, 1986, Ahrendt, Wolfgang, 1967, Fabian, Martin, 1960
المصدر: Automatiskt bedömning av autonoma fordons korrekthet (Auto-CAV) Journal of Logical and Algebraic Methods in Programming. 137
مصطلحات موضوعية: Hybrid systems, Theorem proving, Loop invariant, Formal verification, Automated driving
وصف الملف: electronic
الوصول الحر: https://research.chalmers.se/publication/539378Test
https://research.chalmers.se/publication/539378/file/539378_Fulltext.pdfTest -
7
المؤلفون: Dong, Ning
المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Myreen, Magnus, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Datalogi, Computer Science
وصف الملف: electronic
-
8دورية أكاديمية
المؤلفون: Zhenjiang Qian, Gaofei Sun, Xiaoshuang Xing, Gaurav Dhiman
المصدر: Digital Communications and Networks, Vol 10, Iss 2, Pp 304-314 (2024)
مصطلحات موضوعية: Theorem proving, Isabelle/HOL, Formal verification, System modeling, Correctness verification, Information technology, T58.5-58.64
وصف الملف: electronic resource
العلاقة: http://www.sciencedirect.com/science/article/pii/S2352864822001602Test; https://doaj.org/toc/2352-8648Test
-
9دورية أكاديمية
المؤلفون: Yuriy Manzhos, Yevheniia Sokolova
المصدر: Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 1, Pp 127-142 (2024)
مصطلحات موضوعية: cyber-physical systems, dimensional analysis, formal verification, orientational analysis, software quality, type system, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
العلاقة: http://nti.khai.edu/ojs/index.php/reks/article/view/2281Test; https://doaj.org/toc/1814-4225Test; https://doaj.org/toc/2663-2012Test
-
10
المؤلفون: Sirjani, Marjan, Khamespanah, E.
المصدر: Electronic Proceedings in Theoretical Computer Science, EPTCS. :1-7
مصطلحات موضوعية: Formal verification, Message passing, Semantics, Event-handlers, Formal Semantics, Message-passing, Modelling systems, Models checking, Real-time features, Time transition, Timed transition systems, Transition system, Verification techniques, Model checking
وصف الملف: print
الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-65187Test
https://doi.org/10.4204/EPTCS.387.1Test
النص الكامل