Author Information
| Title | Journal Title, Volume, Page | Full Text |
Year of Publication |
|---|---|---|---|
| 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 | |
| Accelerating Online Model Checking | 6'th Latin-American Symposium on Dependable Computing (LADC 2013), S. 40-47, 2 | 2013 |
The responsibility of all materials published at this website belongs to its authors.
