Affordable Access

Contribution to the formal specification and verification of multi-agent robotic system

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • Information Technology
  • Communication Technology
  • Technologie Information
  • Technologie Communication
  • Intelligence Artificielle Répartie
  • Traitement Réparti
  • Fiabilité
  • Robotique
  • Méthodes Formelles (Informatique)
  • Spécification Formelle
  • Propriétés De Sureté Et De Vivacité
  • Systèmes De Transitions étiquetées (Lts)
  • Vérification Formelle à Base De Modèles
  • Langage D'Architecture P-Adl.Net
  • 05B - Information Science, Librarianship
  • Sciences Et Technologies De L'Information Et De La Communication
External links

Abstract

Statistics

Seen <100 times