PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Stephan, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
VSE: Controlling the Complexity in Formal Software Developments.

, , , , , , , , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 351-358. Springer, (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.

Andreas Werner University of Stuttgart

Hon. -Prof. Werner Pollmann University of Stuttgart

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

 

Other publications of authors with the same name

Der Autor im digitalen Medium - ein notwendiges Konstrukt?. ISI, volume 38 of Schriften zur Informationswissenschaft, page 285-302. Hochschulverband für Informationswissenschaft, (2000)BW-eLabs -- Knowledge Management in Virtual and Remote Labs, , , , , , , , , and 3 other author(s). 4th International Workshop on Distributed Cooperative Laboratories: Instrumenting the Grid, Alghero, Sardinia, Italy, (April 2009)Modeling Dynamic Processes in TLA., , and . FBT, page 185-192. Herbert Utz Verlag, (1999)Assumption-Commitment Specifications and Safety-Critical Systems., , and . FBT, page 125-135. Verlag Shaker, (1998)Tool Support for the Compositional Development of Distributed Systems., , and . FBT, volume 315 of GMD-Studien, page 89-98. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Deduction-Based Refinement Planning., and . AIPS, page 213-220. AAAI, (1996)Using Hybrid Automata to Express Realtime Properties in VSE-II., , and . FLAIRS Conference, page 640-644. AAAI Press, (2001)A New Logical framework for Deductive Planning., and . IJCAI, page 32-38. Morgan Kaufmann, (1993)Networking Resources for Research and Scientific Education in BW-eLabs., , , , , , , , , and 3 other author(s). SNPD, page 47-52. IEEE Computer Society, (2009)RAMPSoCVM: Runtime Support and Hardware Virtualization for a Runtime Adaptive MPSoC., , , and . FPL, page 181-184. IEEE Computer Society, (2011)