Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study
Taylor T. Johnson
◽
Sayan Mitra
Christoph Schmittner
◽
Zhendong Ma
◽
Erwin Schoitsch
◽
Thomas Gruber
2018 ◽
Vol 14
(9)
◽
pp. 4273-4283
◽
Hongyan Guo
◽
Chen Shen
◽
Hui Zhang
◽
Hong Chen
◽
Rui Jia
Gabriela Magureanu
◽
Madalin Gavrilescu
◽
Dan Pescaru
◽
Alex Doboli
Ifetayo Oluwafemi
◽
Timothy Laseinde
Jon Ayerdi
◽
Valerio Terragni
◽
Aitor Arrieta
◽
Paolo Tonella
◽
Goiuria Sagardui
◽
...
2016 ◽
Vol 4
◽
pp. 959-979
◽
Riham Altawy
◽
Amr M. Youssef
2018 ◽
Vol 138
◽
pp. 1-12
◽
Quang Do
◽
Ben Martini
◽
Kim-Kwang Raymond Choo
2020 ◽
Vol 23
(3)
◽
pp. 338-349
Lu Xiao
◽
Michael J. Pennock
◽
Joana L. F. P. Cardoso
◽
Xiao Wang
G. Pasetti Monizza
◽
R. A. Rojas
◽
E. Rauch
◽
M. A. Ruiz Garcia
◽
D. T. Matt
Orlando Romero
◽
Sarthak Chatterjee
◽
Sergio Pequito