A Verifiable Language for Programming Real-Time Communication Schedules
| Title | A Verifiable Language for Programming Real-Time Communication Schedules |
|---|---|
| Author | |
| Keywords | |
| Year of Publication |
2007
|
| Journal |
IEEE Transactions on Computers
|
| Volume |
56
|
| Number of Pages |
1505-1519
|
| Date Published |
11/2007
|
| ISSN Number |
0018-9340
|
| DOI |
10.1109/TC.2007.70747
|
| Download citation |