( en | de | ru )

 

Disambiguierung von "Larsen, Kim G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reactive Systems: Modelling, Specification and Verification

, , , und . Cambridge University Press, (August 2007)

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.

Patrick Larsen

Reinhard Larsen

Jürgen Larsen

Larsen Schütte

Claudia Larsen

 

Weitere Publikationen von Autoren mit dem selben Namen

From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach., , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 517-535. Springer, (2020)Topologies of Stochastic Markov Models: Computational Aspects., , , und . CoRR, (2014)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , und . CoRR, (2023)2018 CAV award., , , und . Formal Methods Syst. Des., 57 (1): 116-117 (2021)Model-Based Verification and Analysis for Real-Time Systems., , und . Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Automata Learning Meets Shielding., , , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 335-359. Springer, (2022)A modal specification theory for components with data., , , , und . Sci. Comput. Program., (2014)L*-based learning of Markov decision processes (extended version)., , , , und . Formal Aspects Comput., 33 (4-5): 575-615 (2021)Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation., , , , , , , , , und 1 andere Autor(en). Petri Nets, Volume 10258 von Lecture Notes in Computer Science, Seite 139-158. Springer, (2017)Fluid Model-Checking in UPPAAL for Covid-19., , , , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 385-403. Springer, (2020)