Formal time-based modeling and verification of industrial machines

  • S. Adyanthaya

Student thesis: Master

Abstract

Date of Award31 Aug 2011
Original languageEnglish
SupervisorS. Andova (Supervisor 1), R.M. Pai (Supervisor 2), J. Jacobs (Supervisor 2) & I. Nagy (Supervisor 2)

Cite this

'