Burkhard Balser

According to our database, Burkhard Balser authored at least 5 papers in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.

Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems.

Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Modulare Avionik als Grundlage für Systemdefinition, Systemkonfiguration und Systemkontrolle.

Burkhard Balser, Michael Förster, G. Grabowski

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", INFORMATIK 2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September 29, 2003

Process Algebraic Specification, Refinement, and Verification of Embedded Systems.

Stefan Förster, Marco Fischer, Dieter Monjau, André Windisch, Burkhard Balser

Proceedings of the Forum on specification and Design Languages, 2003

A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.

Marco Fischer, André Windisch, Stefan Förster, Burkhard Balser, Dieter Monjau

Proceedings of the Forum on specification and Design Languages, 2003