A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau. A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 21-29, Shaker, 2003.

This author has not been identified. Look up 'Marco Fischer' in GoogleThis author has not been identified. Look up 'Stefan Förster' in GoogleThis author has not been identified. Look up 'André Windisch' in GoogleThis author has not been identified. Look up 'Burkhard Balser' in GoogleThis author has not been identified. Look up 'Dieter Monjau' in Google

runs on WebDSL