selected publications academic article A design concept for verified concurrent controllers. Microprocessing and Microprogramming. 1991
Co-author Network
Map of Science