Login / Signup

Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications.

Muhammad ImranNazir Ahmad ZafarMohammed Abdullah AlnuemMehmet Sabih AksoyAthanasios V. Vasilakos
Published in: Wirel. Networks (2016)
Keyphrases
  • learning algorithm
  • formal verification
  • safety critical
  • information systems
  • e learning
  • knowledge base
  • control system
  • support systems