Login / Signup

An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.

Shaoying LiuMasashi AsukaKiyotoshi KomayaYasuaki Nakamura
Published in: ICECCS (1998)
Keyphrases
  • safety critical
  • semi automatic
  • artificial intelligence
  • expert systems
  • case based reasoning
  • distributed systems
  • learning systems
  • fault tolerant
  • embedded systems
  • formal methods