Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris. Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 45-59, Springer, 1998. [doi]

This author has not been identified. Look up 'Vincent David' in GoogleThis author has not been identified. Look up 'Jean Delcoigne' in GoogleThis author has not been identified. Look up 'Evelyne Leret' in GoogleThis author has not been identified. Look up 'Alain Ourghanlian' in GoogleThis author has not been identified. Look up 'Philippe Hilsenkopf' in GoogleThis author has not been identified. Look up 'Philippe Paris' in Google

runs on WebDSL