MARATTO

book chapter · Lecture notes in networks and systems

The Importance of Formal Verification in User Interactions: A Case Study in Aircraft Management

In plain language

No abstract is available for this record, so no summary has been generated.

Research topics

  • Formal Methods in Verification
  • Software Reliability and Analysis Research
  • Real-Time Systems Scheduling

Read the original research

This page summarises published work. The authoritative version sits with the publisher.

DOI: 10.1007/978-3-031-70411-6_33

Is something wrong with this record? Report it or request removal.

Discussion

Discuss this research

Have you built on this work, tried to replicate it, or seen it applied in practice? Share what you know. Verified researchers and MARATTO™ domain experts can open a discussion, and any member can reply. Contributions are reviewed before they appear.

No discussion yet. Open the first thread.