Login / Signup

Safe-Platoon: A Formal Model for Safety Evaluation.

Mohamed Garoui
Published in: Int. J. Softw. Sci. Comput. Intell. (2019)
Keyphrases
  • formal model
  • formal models
  • predicate calculus
  • evaluation method
  • evaluation model
  • evaluation criteria
  • evaluation methods
  • security properties
  • first order logic
  • transportation systems