( en | de | ru )

 

Disambiguierung von "Zhan, Bohua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).

, , , , , , , und . J. Syst. Archit., (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bohua Chen

Zhan Kang

Zhan Gao

Renya Zhan

Beibei Zhan

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow., , , und . J. Comput. Sci. Technol., 35 (6): 1324-1342 (2020)Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems., , , , , , und . CoRR, (2024)Auto2 Prover.. Arch. Formal Proofs, (2018)HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic., , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 160-178. Springer, (2023)Formal Verification of Consensus in the Taurus Distributed Database., , , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 741-751. Springer, (2021)Learning One-Clock Timed Automata., , , , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 444-462. Springer, (2020)Formal Analysis of 5G AKMA., , , , , , , und . SETTA, Volume 13071 von Lecture Notes in Computer Science, Seite 102-121. Springer, (2021)Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization., , , , und . SETTA, Volume 13071 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2021)Efficient Local Search for Nonlinear Real Arithmetic., , , und . CoRR, (2023)HHLPy: Practical Verification of Hybrid Systems using Hoare Logic., , und . CoRR, (2022)