Peter Jansen

According to our database, Peter Jansen authored at least 3 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models).

Peter Jansen

Informationstechnik Tech. Inform., 2001

1999

Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specification.

Peter Jansen

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Verification of Automotive Control Units.

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen

Proceedings of the Correct System Design, 1999