PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Völker, Norbert"

Author of the publication

copydeleteadd this publication to your clipboard
Deriving CORBA Applications from Formal Specifications.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL.. Berichte aus der Elektrotechnik Shaker, (1998)Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen., , and . VIS, page 229-. Vieweg, (1995)Modularity and Mobility of Distributed Control Software for Networked Mobile Robots., , and . PPSDR@ICRA, volume 30 of Springer Tracts in Advanced Robotics, page 459-484. (2005)Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt., and . Methods of Programming, volume 544 of Lecture Notes in Computer Science, page 35-48. Springer, (1991)HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.. TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 334-351. Springer, (2007)Disjoint Sums over Type Classes in HOL.. TPHOLs, volume 1690 of Lecture Notes in Computer Science, page 5-18. Springer, (1999)Automated Verification of Function Block Based Industrial Control Systems., and . Electron. Notes Theor. Comput. Sci., (1999)Agent architecture for multi-robot cooperation over the Internet., , , and . Integrated Computer-Aided Engineering, 11 (3): 213-225 (2004)Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme., , , and . Praxis der Informationsverarbeitung und Kommunikation, 17 (3): 136-149 (1994)How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations., , , and . Comput. J., 35 (6): 547-554 (1992)