Design Choices for High-Confidence Distributed Real-Time Software.

Sebastian Fischmeister, Akramul Azim

Browse the full ISoLA paper archive.