Login / Signup

Contract-Based Specification Refinement and Repair for Mission Planning.

Piergiuseppe MallozziInigo IncerPierluigi NuzzoAlberto L. Sangiovanni-Vincentelli
Published in: FormaliSE (2023)
Keyphrases
  • mission planning
  • decision making
  • supply chain
  • specification language
  • damage assessment
  • high level
  • formal methods
  • formal verification
  • refinement process
  • real time
  • real world
  • e learning