PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Völker, Norbert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deriving CORBA Applications from Formal Specifications.

, , , und . Journal of Systems Integration, 8 (2): 143-158 (1998)

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.

Richard Völker University of Stuttgart

Dr. -Ing. Norbert Klaas University of Stuttgart

apl. Prof. Dr. Norbert Knarr University of Stuttgart

Dr. Norbert Röhrl University of Stuttgart

Dr. -Ing. Volker Rischmüller University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL.. Berichte aus der Elektrotechnik Shaker, (1998)Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen., , und . VIS, Seite 229-. Vieweg, (1995)Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt., und . Methods of Programming, Volume 544 von Lecture Notes in Computer Science, Seite 35-48. Springer, (1991)Modularity and Mobility of Distributed Control Software for Networked Mobile Robots., , und . PPSDR@ICRA, Volume 30 von Springer Tracts in Advanced Robotics, Seite 459-484. (2005)HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.. TPHOLs, Volume 4732 von Lecture Notes in Computer Science, Seite 334-351. Springer, (2007)Disjoint Sums over Type Classes in HOL.. TPHOLs, Volume 1690 von Lecture Notes in Computer Science, Seite 5-18. Springer, (1999)Automated Verification of Function Block Based Industrial Control Systems., und . Electron. Notes Theor. Comput. Sci., (1999)Agent architecture for multi-robot cooperation over the Internet., , , und . Integrated Computer-Aided Engineering, 11 (3): 213-225 (2004)Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme., , , und . Praxis der Informationsverarbeitung und Kommunikation, 17 (3): 136-149 (1994)3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML., , und . SimVis, Seite 19-32. SCS Publishing House e.V., (1999)