A Model for Industrial Real-Time Systems.

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie

Browse the full VMCAI paper archive.