Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
doi 10.4018/978-1-60566-750-8.ch008
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2010
Authors
Publisher
IGI Global
Available in full text
January 1, 2010
IGI Global