Kripke modelling and verification of temporal...

Annals of Mathematics and Artificial Intelligence 2011 / 09 Vol. 63; Iss. 1

Kripke modelling and verification of temporal specifications of a multiple UAV system

Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafał Żbikowski
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
63
Langue:
english
Pages:
22
DOI:
10.1007/s10472-011-9270-x
Date:
September, 2011
Fichier:
PDF, 563 KB
english, 2011
La conversion en est effectuée
La conversion en a échoué