Testing and model-checking techniques for diagnosis

M. Gromov, T.A.C. Willemse

Research output: Book/ReportReportAcademic

4 Citations (Scopus)
Original languageEnglish
Place of PublicationNijmegen
PublisherRadboud Universiteit Nijmegen
Number of pages27
Publication statusPublished - 2007

Publication series

NameTechnical Report
VolumeICIS-R07016

Cite this