Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.

Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris

Browse the full SAFECOMP paper archive.