Login / Signup
A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems.
Marco Fischer
Stefan Förster
André Windisch
Burkhard Balser
Dieter Monjau
Published in:
MBMV (2003)
Keyphrases
</>
distributed systems
conceptual model
complex systems
databases
intelligent systems
development process
formal methods
real time
information retrieval
computer vision
decision making
high level
software engineering
process model
step wise