Tools for Verification and Validation

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Original languageEnglish
Title of host publicationEmbedded Systems Design : The ARTIST Roadmap for Research and Development
EditorsBruno Bouyssounouse, Joseph Sifakis
Place of PublicationBerlin / Heidelberg
PublisherIEEE Computer Society Press
Publication date2005
Pages72
ISBN (Print)3540251073
DOIs
Publication statusPublished - 2005
SeriesLecture Notes in Computer Science
Volume3436

Cite this