Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
| Title | A Verifiable Language for Programming Real-Time Communication Schedules |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Fischmeister, S., O. Sokolsky, and I. Lee |
| Journal | IEEE Transactions on Computers |
| Volume | 56 |
| Issue | 11 |
| Pagination | 1505 - 1519 |
| Date Published | 11/2007 |
| ISSN | 0018-9340 |
| Keywords | network code |
| DOI | 10.1109/TC.2007.70747 |
| Short Title | IEEE Trans. Comput. |
Related files: