Automated Test Generation from Timed Automata

Publication: Research - peer-reviewJournal article

Details

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