A Family of Domain-Specific Languages for Integrated Modular Avionics.

Ricardo Alves, Vasco Amaral, Joo Cintra, Bruno Tavares

Browse the full QUATIC paper archive.