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
Assumption-Commitment Specifications and Safety-Critical Systems.

, , and . FBT, page 125-135. Verlag Shaker, (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

Analysis of error detection schemes: Toolchain support and hardware/software implications., , , , , and . AHS, page 62-69. IEEE, (2012)A Dynamic Logic for Program Verification., , and . Logic at Botik, volume 363 of Lecture Notes in Computer Science, page 134-145. Springer, (1989)Formal Software Development in the Verification Support Environment (VSE)., , , , and . FLAIRS Conference, page 367-376. AAAI Press, (2000)Cloud-based Design and Virtual Prototyping Environment for Embedded Systems., , , , , and . Int. J. Online Eng., 12 (9): 52-60 (2016)Tactical Theorem Proving in Program Verification., , and . CADE, volume 449 of Lecture Notes in Computer Science, page 117-131. Springer, (1990)Security and Privacy in Pervasive Computing State of the Art and Future Directions., , and . SPC, volume 2802 of Lecture Notes in Computer Science, page 285-289. Springer, (2003)Multilevel Refinement Planning in an Interval-Based Temporal Logic., and . EPIA, volume 990 of Lecture Notes in Computer Science, page 483-487. Springer, (1995)Virtual prototyping of heterogeneous dynamic platforms using Open Virtual Platforms., , and . SIES, page 152-155. IEEE, (2015)Effects of shaping of binaural room impulse responses on localization., and . QoMEX, page 88-93. IEEE, (2013)Audio-visual discrepancy and the influence on vertical sound source localization., , and . QoMEX, page 133-139. IEEE, (2012)