Jan Vitt

According to our database, Jan Vitt authored at least 2 papers between 1995 and 2000.

Collaborative distances:

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

2000

Inventors are not alike: the distribution of patenting output among industrial R&D personnel.

Holger Ernst, Christopher Leptien, Jan Vitt

IEEE Trans. Engineering Management, 2000

1995

Assertional Specification and Verification Using PVS of the Steam Boiler Control System.

Jan Vitt, Jozef Hooman

Proceedings of the Formal Methods for Industrial Applications, 1995