Towards qualifiable graphical editing of complex domain-specific models in safety-critical avionics.

Andreas Waldvogel

Browse the full MODELS paper archive.