The architectural specification of an avionic subsystem.

Leonor Maria Melo Torcato Barroca John S. Fitzgerald L. Spencer

Published in: WIFT (1995)

Keyphrases

high level
database
specification language
data sets
reactive systems
real world
three dimensional
image sequences
software engineering
formal verification