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

Formal time-based modeling and verification of industrial machines
Adyanthaya, S. (Author). 31 Aug 2011

Student thesis: Master