K. Marks

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

S. Tran, John Cullyer, E. Hines, K. Marks
On the development of a formal methods-based software design methodology for automotive applications. Microprocess. Microsystems 14 (5) (1990)