Logo Logo
Switch Language to German

Khaled, Mahmoud and Zamani, Majid (2021): Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. In: IEEE Design & Test, Vol. 38, No. 5: pp. 25-34

Full text not available from 'Open Access LMU'.


Editor's notes: Controller synthesis using formal specifications has shown considerable promise in recent years. However, it is computationally very expensive. This article shows how cloud computing can come to the rescue. -Samarjit Chakraborty, University of North Carolina at Chapel Hill

Actions (login required)

View Item View Item