( en | de | ru )

 

Disambiguierung von "Olsen, Petur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HomePort: Middleware for heterogeneous home automation networks.

, , , , und . PerCom Workshops, Seite 627-633. IEEE Computer Society, (2013)

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.

Pétur Bloendal

Gunnar Olsen

Susan Olsen

Ulla Olsen

Hugo Olsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools., , , , und . FMICS, Volume 9128 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2015)Validating Timed Component Contracts., , , , und . EUROMICRO-SEAA, Seite 245-249. IEEE Computer Society, (2015)Model-Based Testing of Industrial Transformational Systems., , und . ICTSS, Volume 7019 von Lecture Notes in Computer Science, Seite 131-145. Springer, (2011)opaal: A Lattice Model Checker., , , , , , und . NASA Formal Methods, Volume 6617 von Lecture Notes in Computer Science, Seite 487-493. Springer, (2011)Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases., , und . MBT@ETAPS, Volume 264 von Electronic Notes in Theoretical Computer Science, Seite 53-68. Elsevier, (2010)Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego., , , , , und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 603-622. Springer, (2017)Automata Learning through Counterexample Guided Abstraction Refinement., , , , und . FM, Volume 7436 von Lecture Notes in Computer Science, Seite 10-27. Springer, (2012)Modeling and Analysis of Component Faults and Reliability., , , und . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)A Toolchain for Home Automation Controller Development., , , , , , und . EUROMICRO-SEAA, Seite 122-129. IEEE Computer Society, (2013)Toolchain for user-centered intelligent floor heating control., , , , , , , und . IECON, Seite 5296-5301. IEEE, (2016)