OASIS formal approach for distributed safety-critical real-time system design.

Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussagus

Browse the full ISoLA paper archive.