Autor der Publikation

Object-Oriented Operational Semantics.

, , und . SAM, Volume 9959 von Lecture Notes in Computer Science, Seite 132-147. Springer, (2016)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving Communication in Online Learning Systems., , und . CSEDU (1), Seite 300-307. SciTePress, (2017)Teaching Students to Learn., , , und . CSEDU (2), Seite 91-98. SciTePress, (2016)978-989-758-179-3.Identifying First Responders Information Needs: Supporting Search and Rescue Operations for Fire Emergency Response., , und . IJISCRAM, 8 (1): 25-46 (2016)Sudoku - A Language Description Case Study., , und . SLE, Volume 5452 von Lecture Notes in Computer Science, Seite 305-321. Springer, (2008)Object-Oriented Operational Semantics., , und . SAM, Volume 9959 von Lecture Notes in Computer Science, Seite 132-147. Springer, (2016)Object-Oriented Specification of Protocols for Reusability., und . SAM, Volume 2599 von Lecture Notes in Computer Science, Seite 90-102. Springer, (2002)Generating a Compiler for SDL from the Formal Language Definition., und . SDL Forum, Volume 2708 von Lecture Notes in Computer Science, Seite 150-165. Springer, (2003)SFTSDH: Applying Spring Security Framework With TSD-Based OAuth2 to Protect Microservice Architecture APIs., , , und . IEEE Access, (2022)Consistent Projectional Text Editors., , und . MODELSWARD, Seite 515-522. SciTePress, (2017)Verbesserung von wissensverarbeitenden Programmen durch effektive Aufzeichnung des Schlussfolgerungsverlaufs: ein Fakten-Integritäts-Test-System.. Humboldt University of Berlin, Unter den Linden, Germany, (1989)