Automated Test Generation from Timed Automata

Research output: Research - peer-reviewJournal article

Details

Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
ISSN1433-2779
StatePublished - 2002
Publication categoryResearch
Peer-reviewedYes
ID: 34549