Zobrazeno 1 - 10
of 541
pro vyhledávání: '"Isabelle/HOL"'
Publikováno v:
Digital Communications and Networks, Vol 10, Iss 2, Pp 304-314 (2024)
In traditional digital twin communication system testing, we can apply test cases as completely as possible in order to ensure the correctness of the system implementation, and even then, there is no guarantee that the digital twin communication syst
Externí odkaz:
https://doaj.org/article/025e81e92d114bcaa3a4d9150a2b276d
Publikováno v:
Digital Communications and Networks, Vol 9, Iss 5, Pp 1070-1079 (2023)
A secure operating system in the communication network can provide the stable working environment, which ensures that the user information is not stolen. The micro-kernel operating system in the communication network retains the core functions in the
Externí odkaz:
https://doaj.org/article/91d837aa85794e09a3816ad95807affb
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Access, Vol 9, Pp 2854-2863 (2021)
Formal verification can mathematically prove whether a software satisfies the requirements described in its design. In traditional software development, even if the software systems, especially the operating system for Internet of Things in smart cit
Externí odkaz:
https://doaj.org/article/267cc023d5f040ee8368830f19b81994
Autor:
Haitao Wang, Lihua Song
Publikováno v:
IEEE Access, Vol 9, Pp 25002-25013 (2021)
Mechanical theorem proving is especially advantageous on formal verification of algorithms manipulating complicated data structures. Some proof assistants such as Isabelle/HOL also enable users to extract executable code from verified specification,
Externí odkaz:
https://doaj.org/article/508b120bc9eb4b5a810c0aeb456f41a9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.