Formal Framework and Models for Validation and Verification of Software- Intensive Aerospace Systems
Model-based control systems (MBCSs) and adaptive control systems (ACSs) represent an emerging class of software-intensive space and aeronautical control applications that bring tangible benefits to design processes and developments, but…