( en | de | ru )

 

Disambiguierung von "Nielsen, Brian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond.

, , und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 212-229. Springer, (2018)

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.

Rolf-Walter Briant

Benoît Briand

Ursula Brian

Annette Brians

Thea Nielsen

 

Weitere Publikationen von Autoren mit dem selben Namen

WUppaal: A web-service for the Uppaal model-checker., , und . CPS Data, Seite 1-6. IEEE Computer Society, (2016)Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink., , , und . ECBS, Volume 14390 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2023)20 Years of Real Real Time Model Validation., , und . FM, Volume 10951 von Lecture Notes in Computer Science, Seite 22-36. Springer, (2018)Interoperability by construction: code generation for Arrowhead Clients., und . ICPS, Seite 429-432. IEEE, (2020)Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work., , und . Perspectives of Model-Based Testing, Volume 04371 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Web of Things Semantic Interoperability in Smart Buildings., , , , , , , , und . KES, Volume 207 von Procedia Computer Science, Seite 997-1006. Elsevier, (2022)Real-Time Layered Video Compression Using SIMD Computation., und . ACPC, Volume 1557 von Lecture Notes in Computer Science, Seite 377-387. Springer, (1999)Online Testing of Real-time Systems Using Uppaal., , und . FATES, Volume 3395 von Lecture Notes in Computer Science, Seite 79-94. Springer, (2004)A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems., , , und . MARS/VPT@ETAPS, Volume 268 von EPTCS, Seite 150-168. (2018)Mutation-Based Test-Case Generation with Ecdar., , , und . ICST Workshops, Seite 319-328. IEEE Computer Society, (2017)