-
1دورية أكاديمية
المؤلفون: Muhammad Naeem, Muhammad Atif, Arshad Ali, Maryam Gulzar, Imran Riaz Hasrat
المصدر: IEEE Access, Vol 12, Pp 56334-56343 (2024)
مصطلحات موضوعية: Distributed algorithm, model checking, formal specification, linear temporal logic, video distribution, packet recovery, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong
المصدر: IEEE Access, Vol 12, Pp 361-381 (2024)
مصطلحات موضوعية: Arm confidential compute architecture (CCA), confidential computing, formal specification, intel trust domain extensions (TDX), remote attestation, trusted execution environment, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
3مؤتمر
المساهمون: Airbus Operation S.A.S., Airbus France, DTIS, ONERA, Université de Toulouse Toulouse, ONERA-PRES Université de Toulouse, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: 12th European Congress on Embedded Real Time Software and Systems (ERTS 2024)
https://hal.science/hal-04167435Test
12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), Jun 2024, Toulouse, Franceمصطلحات موضوعية: Neural network description, Formal specification, DO 178, Code generation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]
العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/2307.12713; hal-04167435; https://hal.science/hal-04167435Test; https://hal.science/hal-04167435v2/documentTest; https://hal.science/hal-04167435v2/file/main.pdfTest; ARXIV: 2307.12713
-
4دورية أكاديمية
المؤلفون: Farid Arfi, Anne‐Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot
المصدر: IET Software, Vol 17, Iss 4, Pp 582-599 (2023)
مصطلحات موضوعية: formal specification, formal verification, health care, software engineering, software reliability, unified modelling language, Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Andrzej KOCHAN, Piotr FOLĘGA, Remigijus SKIRKUS, Gintautas BUREIKA
المصدر: Transport Problems, Vol 18, Iss 2, Pp 43-52 (2023)
مصطلحات موضوعية: rail transport, modeling, infrastructure representation, multigraph is, formal specification, Transportation engineering, TA1001-1280
وصف الملف: electronic resource
العلاقة: http://transportproblems.polsl.pl/pl/Archiwum/2023/zeszyt2/2023t18z2_04.pdfTest; https://doaj.org/toc/1896-0596Test; https://doaj.org/toc/2300-861XTest
-
6دورية أكاديمية
المؤلفون: fateh boutekkouk
المصدر: Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)
مصطلحات موضوعية: c programming language, maude, formal specification, formal verification, Information technology, T58.5-58.64, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
العلاقة: https://ejournal.pnc.ac.id/index.php/jinita/article/view/1846Test; https://doaj.org/toc/2716-0858Test; https://doaj.org/toc/2715-9248Test
-
7دورية أكاديمية
المؤلفون: Jiandong Li, Shaoying Liu
المصدر: IET Software, Vol 17, Iss 3, Pp 316-332 (2023)
مصطلحات موضوعية: formal specification, object‐oriented programming, software development management, software quality, software reliability, Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
8دورية أكاديمية
المؤلفون: Wenjie Zhong, Jian‐tao Zhou, Tao Sun
المصدر: IET Software, Vol 17, Iss 1, Pp 55-75 (2023)
مصطلحات موضوعية: concurrency (computers), formal specification, petri nets, Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
9تقرير
المؤلفون: Cousineau, Denis, Inoue, Hiroaki, Marché, Claude, Mentré, David
المساهمون: Mitsubishi Electric R&D Centre Europe France (MERCE-France), Mitsubishi Electric France, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Inria
المصدر: https://inria.hal.science/hal-04487766Test ; RT-0522, Inria. 2024.
مصطلحات موضوعية: Ladder Language for PLCs, Formal Specification, Why3 Environment for Deductive Verification, Model Validation, langage Ladder pour les PLC, Spécification formelle, environnement Why3 pour la vérification déductive, Validation de modèle, [INFO]Computer Science [cs]
العلاقة: Report N°: RT-0522; hal-04487766; https://inria.hal.science/hal-04487766Test; https://inria.hal.science/hal-04487766/documentTest; https://inria.hal.science/hal-04487766/file/RT-0522.pdfTest
-
10دورية أكاديمية
المؤلفون: Vanessa Agredo-Delgado, Pablo H. Ruiz, Cesar A. Collazos
المصدر: TecnoLógicas, Vol 26, Iss 57, Pp e2658-e2658 (2023)
مصطلحات موضوعية: computer supported collaborative work, shared understanding, problem-solving activity, validation process, formal specification in spem 2.0, Technology, Engineering (General). Civil engineering (General), TA1-2040
وصف الملف: electronic resource
العلاقة: https://revistas.itm.edu.co/index.php/tecnologicas/article/view/2658Test; https://doaj.org/toc/0123-7799Test; https://doaj.org/toc/2256-5337Test