31 search results - page 7 / 7 » pci 2005 |
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...