𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formal specification and verification of a coordination protocol for an automated air traffic control system

✍ Scribed by Zhao, Yang; Rozier, Kristin Yvonne

Book ID: 123158830
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 422 KB
Volume: 96
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.04.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 7th IEEE Conference on Indust

[IEEE 2012 7th IEEE Conference on Industrial Electronics and Applications (ICIEA) - Singapore, Singapore (2012.07.18-2012.07.20)] 2012 7th IEEE Conference on Industrial Electronics and Applications (ICIEA) - Home telemedicine system for chronic respiratory disease surveillance — An automated solution for disease control and management to combat the health impact of indoor air pollution

✍ Fong, A. C. M.; Fong, B. 📂 Article 📅 2012 🏛 IEEE ⚖ 737 KB