FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
Topics & Concepts
Computer scienceFrettingController (irrigation)AeronauticsControl engineeringEngineeringBiologyStructural engineeringAgronomySafety Systems Engineering in AutonomyFormal Methods in VerificationSoftware Reliability and Analysis Research