Login / Signup

Qualitative formal method for requirements specification and validation of hybrid real-time safety systems.

J.-S. LeeS.-D. Cha
Published in: IEE Proc. Softw. (2000)
Keyphrases
  • real time
  • machine learning
  • information systems
  • orders of magnitude
  • safety critical
  • requirements specification