A Formalised Framework for Incremental Modelling of On−Chip Communication
Peter Böhm
Details
| Book Title |
Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08)‚ a satellite event of the ETAPS 2010 conferences |
| Location |
Paphos‚ Cyprus |
| Month |
March |
| Note |
to appear |
| Year |
2010 |
Links
Related pages
|
People |
|
|
Projects |
Verified Communication Protocols for Multicore/SoC Architectures |