Publication | Closed Access
Avionics system failure analysis and verification based on model checking
17
Citations
20
References
2019
Year
EngineeringSoftware TestingVerificationFault AnalysisFormal MethodsComputer EngineeringSystems EngineeringAvionics SystemModeling And SimulationModel CheckingModel VerificationFormal VerificationFailure Detection
| Year | Citations | |
|---|---|---|
Page 1
Page 1