Skip to content

A language for writing system specifications in an aeronautical context.

Benot Lebeaupin

VenueARE
Year2015
ProceedingsRE

Browse the full RE paper archive.