A Bailout Protocol for Mixed Criticality Systems.

Iain Bate Alan Burns Robert I. Davis

Published in: ECRTS (2015)

Keyphrases

management system
databases
communication protocols
website
distributed systems
intelligent systems
lightweight
building blocks
learning systems
end to end
formal analysis
client server architecture