| Design and verification of multi-rate distributed systems | |
|---|---|
Design and verification of multi-rate distributed systems |
|
| Author | |
| Year of Publication |
2015
|
| Conference Name |
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
|
| Conference Location |
Austin, TX, USA
|
| DOI |
10.1109/MEMCOD.2015.7340463
|
| Google Scholar | BibTeX | DOI | |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.