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
Abstract
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
Item Type: | Journal article |
---|---|
Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
ISSN: | 2168-2356 |
Language: | English |
Item ID: | 99521 |
Date Deposited: | 05. Jun 2023 15:31 |
Last Modified: | 05. Jun 2023 15:31 |