Platform of Formal Modeling and Analysis for Airborne Software Requirements.

Jiarun Lyu Jun Hu Lisong Wang

Published in: EITCE (2022)

Keyphrases

real time
data analysis
formal analysis
expert systems
source code
requirements specification