Title | Journal Title, Volume, Page | Full Text | Year of Publication |
---|---|---|---|
Accelerating Online Model Checking | 6'th Latin-American Symposium on Dependable Computing (LADC 2013), S. 40-47, 2 | 2013 | |
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. | IFIP Advances in Information and Communication Technology, Band 329 , S. 102-113. Springer Boston | 2010 |