Burkhard Balser

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau
A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. IEEE International Workshop on Rapid System Prototyping (2003)
Stefan Förster, Marco Fischer, Dieter Monjau, André Windisch, Burkhard Balser
Process Algebraic Specification, Refinement, and Verification of Embedded Systems. FDL (2003)
Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau
A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. MBMV (2003)
Marco Fischer, André Windisch, Stefan Förster, Burkhard Balser, Dieter Monjau
A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. FDL (2003)
Burkhard Balser, Michael Förster, G. Grabowski
Modulare Avionik als Grundlage für Systemdefinition, Systemkonfiguration und Systemkontrolle. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") (2003)