Practical Verification of Embedded Software

Research output: Contribution to journalJournal articleResearchpeer-review

Details

Original languageEnglish
JournalComputer
Volume33
Issue number5
Pages (from-to)68-75
ISSN0018-9162
StatePublished - 2000
Publication categoryResearch
Peer-reviewedYes
ID: 35085