A Verifiable Language for Programming Real-Time Communication Schedules
Fischmeister, S., Sokolsky, O., Insup LeeVolume:
56
Year:
2007
Language:
english
DOI:
10.1109/tc.2007.70747
File:
PDF, 1.39 MB
english, 2007