Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.

Yamine At Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels

Browse the full ISoLA paper archive.