( en | de | ru )

 

Disambiguierung von "Kristensen, Lars Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.

, , und . Trans. Petri Nets Other Model. Concurr., (2009)

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.

Fredrik Kristensen

Lars Michael

Beatrix Waechter-Kristensen

Ulrik Stervbo-Kristensen

Bernd Larsonneur

 

Weitere Publikationen von Autoren mit dem selben Namen

Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method., und . Petri Nets, Volume 7347 von Lecture Notes in Computer Science, Seite 248-267. Springer, (2012)Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks., , und . Petri Nets, Volume 5062 von Lecture Notes in Computer Science, Seite 152-170. Springer, (2008)Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control., , und . SimuTools, Seite 218-227. ICST/ACM, (2015)Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems., und . Commun. ACM, 58 (6): 61-70 (2015)Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets., und . Trans. Petri Nets Other Model. Concurr., (2008)A Graphical Approach to Component-Based and Extensible Model Checking Platforms., und . Trans. Petri Nets Other Model. Concurr., (2012)Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems., , und . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 213-254 (2007)Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems., , , und . Trans. Petri Nets Other Model. Concurr., (2018)Visualization and Abstractions for Execution Paths in Model-Based Software Testing., , , und . IFM, Volume 11918 von Lecture Notes in Computer Science, Seite 474-492. Springer, (2019)Model-based specification and validation of the dual-mode adaptive MAC protocol., , und . Int. J. Crit. Comput. Based Syst., 8 (2): 108-140 (2018)