Skip to main navigation Skip to search Skip to main content

An approach to cope with state space explosion problem in model checking embedded TV software

Student thesis: Master's thesis

Date of Award2015
Original languageEnglish
SupervisorTolga Ovatman (Supervisor)

Cite this

'