Login / Signup

Formal correctness, safety, dependability, and performance analysis of a satellite.

Marie-Aude EsteveJoost-Pieter KatoenViet Yen NguyenBart PostmaYuri Yushtein
Published in: ICSE (2012)
Keyphrases
  • safety critical
  • ambient intelligence
  • remote sensing
  • formal model
  • complex systems
  • expert systems
  • formal specification
  • real time
  • genetic algorithm
  • knowledge management
  • formal analysis