Jan Vitt

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Holger Ernst, Christopher Leptien, Jan Vitt
Inventors are not alike: the distribution of patenting output among industrial R&D personnel. IEEE Trans. Engineering Management 47 (2) (2000)
Jan Vitt, Jozef Hooman
Assertional Specification and Verification Using PVS of the Steam Boiler Control System. Formal Methods for Industrial Applications (1995)