المؤلفون: Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa

المصدر: IEEE Access, Vol 12, Pp 31605-31625 (2024)

مصطلحات موضوعية: CBC mode, formal method, iterative execution, MD construction, ProVerif, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/10443411Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/865612bd6f494081aa6978391493858aTest

المؤلفون: Hung-Fu Chang, Supannika Koolmanojwong Mobasser

المصدر: Software, Vol 2, Iss 3, Pp 332-349 (2023)

مصطلحات موضوعية: finite state machine, embedded system, formal method, software design method, Computer software, QA76.75-76.765

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/2674-113X/2/3/16Test; https://doaj.org/toc/2674-113XTest

الوصول الحر: https://doaj.org/article/cee7dd362cc14b2db5c27825fbdbaa3bTest

المؤلفون: Junsup Song, Dimitris Karagiannis, Moonkun Lee

المصدر: Sensors, Vol 24, Iss 12, p 3881 (2024)

مصطلحات موضوعية: formal method, process algebra, dTP-Calculus, probabilistic equivalences, smart IoT systems, smart city, Chemical technology, TP1-1185

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/1424-8220/24/12/3881Test; https://doaj.org/toc/1424-8220Test

الوصول الحر: https://doaj.org/article/7c3f651e26454876887b0496c873d1bdTest

المؤلفون: Eddine, Charaf, Hameurlain, Nabil, Belala, Faiza

المساهمون: Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), LIRE laboratory, Constantine, University of Constantine

المصدر: 31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2023)
https://univ-pau.hal.science/hal-04510783Test
31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2023), Dec 2023, Saclay (92), France

مصطلحات موضوعية: SoS Maude Formal Method Model-checking Timed mission Control strategies, SoS, Maude, Formal Method, Model-checking, Timed mission, Control strategies, [INFO]Computer Science [cs]

جغرافية الموضوع: Saclay (92), France

العلاقة: hal-04510783; https://univ-pau.hal.science/hal-04510783Test; https://univ-pau.hal.science/hal-04510783/documentTest; https://univ-pau.hal.science/hal-04510783/file/WETIC.pdfTest

الإتاحة: https://univ-pau.hal.science/hal-04510783Test
https://univ-pau.hal.science/hal-04510783/documentTest
https://univ-pau.hal.science/hal-04510783/file/WETIC.pdfTest

المؤلفون: Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee

المصدر: Sensors, Vol 24, Iss 3, p 767 (2024)

مصطلحات موضوعية: smart IoT, digital twin, formal method, process algebra, dTP-Calculus, probability, Chemical technology, TP1-1185

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/1424-8220/24/3/767Test; https://doaj.org/toc/1424-8220Test

الوصول الحر: https://doaj.org/article/6c74849ac57d46c1ab5f075d15068872Test

المؤلفون: Altarui A., Miculan M., Paier M.

المساهمون: Altarui, A., Miculan, M., Paier, M.

مصطلحات موضوعية: Bigraph, Container, Contract-based design, Formal method, System Security, Verification

العلاقة: ispartofbook:Proceedings of the Italian Conference on Cybersecurity (ITASEC 2023); Italian Conference on Cybersecurity 2023.; volume:3488; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11390/1266244Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174193244

الإتاحة: https://hdl.handle.net/11390/1266244Test

المؤلفون: Brunello A., Della Monica D., Montanari A., Saccomanno N., Urgolo A.

المساهمون: Brunello, A., Della Monica, D., Montanari, A., Saccomanno, N., Urgolo, A.

مصطلحات موضوعية: Data mining, Explainable AI, Failure analysi, Failure Detection, Feature extraction, Formal Method, Machine Learning, Monitoring, Runtime, Runtime Verification, Task analysi, Telemetry

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001012352800001; volume:11; firstpage:57349; lastpage:57364; numberofpages:16; journal:IEEE ACCESS; https://hdl.handle.net/11390/1250668Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85160275997

الإتاحة: https://doi.org/10.1109/ACCESS.2023.3277620Test
https://hdl.handle.net/11390/1250668Test

المؤلفون: Bernardeschi, Cinzia, Domenici, Andrea, Fagiolini, Adriano, Palmieri, Maurizio

المساهمون: Bernardeschi, Cinzia, Domenici, Andrea, Fagiolini, Adriano, Palmieri, Maurizio

مصطلحات موضوعية: formal method, co-operative control, co-simulation, verification, theorem prover, Settore ING-INF/04 - Automatica

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000764220600001; volume:66; issue:2; firstpage:295; lastpage:317; numberofpages:23; journal:COMPUTER JOURNAL; http://hdl.handle.net/10447/522990Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85137083651

الإتاحة: https://doi.org/10.1093/comjnl/bxab161Test
http://hdl.handle.net/10447/522990Test

المؤلفون: Casale, Roberto, Varriano, Giulia, Santone, Antonella, Messina, Carmelo, Casale, Chiara, Gitto, Salvatore, Sconfienza, Luca Maria, Bali, Maria Antonietta, Brunese, Luca

المساهمون: R. Casale, G. Varriano, A. Santone, C. Messina, C. Casale, S. Gitto, L.M. Sconfienza, M.A. Bali, L. Brunese

مصطلحات موضوعية: Formal Method, Radiomic, magnetic resonance imaging, metastase, model checking, soft-tissue sarcoma, Settore MED/36 - Diagnostica per Immagini e Radioterapia

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/37063407; info:eu-repo/semantics/altIdentifier/wos/WOS:000970936300001; volume:6; issue:2; firstpage:1; lastpage:9; numberofpages:9; journal:JAMIA OPEN; https://hdl.handle.net/2434/965616Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85161495229

الإتاحة: https://doi.org/10.1093/jamiaopen/ooad025Test
https://hdl.handle.net/2434/965616Test

المؤلفون: Lopuhaa-Zwakenberg, M., Budde, C. E., Stoelinga, M.

المساهمون: Lopuhaa-Zwakenberg, M., Budde, C. E., Stoelinga, M.

مصطلحات موضوعية: Attack tree, BDD algorithm, computational complexity, formal method, security metrics

وصف الملف: ELETTRONICO

العلاقة: volume:2023/20; issue:5; firstpage:4169; lastpage:4187; numberofpages:19; journal:IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING; https://hdl.handle.net/11572/357438Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85140790327; https://ieeexplore.ieee.org/document/9925106Test

الإتاحة: https://doi.org/10.1109/TDSC.2022.3215752Test
https://hdl.handle.net/11572/357438Test
https://ieeexplore.ieee.org/document/9925106Test