Vol-1430⫷ Vol-1431 ⫸Vol-1432
urn:nbn:de:0074-1431-0


Vol-1431/paper8⫷Vol-1431/paper9⫸Vol-1431/paper10
Admar Ajith Kumar SomappaLars Michael KristensenAndreas Prinz 0001

Model-Based Verification of the DMAMAC Protocol for Real-time Process Control