Jump to Navigation

Transforming specifications to verify embedded systems

TitleTransforming specifications to verify embedded systems
Publication TypeJournal Article
Year of Publication2003
AuthorsGallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel
JournalErcim News
Pagination35–36
Date Publishedoct
PublisherEuropean Research Consortium for Informatics and Mathematics
ISSN0926-4981


Main menu 2

Biblio | by Dr. Radut