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

标题
Formal specification and verification of a coordination protocol for an automated air traffic control system
作者
关键词
-
出版物
SCIENCE OF COMPUTER PROGRAMMING
Volume 96, Issue -, Pages 337-353
出版商
Elsevier BV
发表日期
2014-05-07
DOI
10.1016/j.scico.2014.04.002

向作者/读者发起求助以获取更多资源

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now