Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems Journal Article uri icon

Overview

publication date

  • October 1, 2021

has restriction

  • closed

Date in CU Experts

  • January 30, 2021 7:23 AM

Full Author List

  • Khaled M; Zamani M

author count

  • 2

citation count

  • 2

Other Profiles

International Standard Serial Number (ISSN)

  • 2168-2356

Electronic International Standard Serial Number (EISSN)

  • 2168-2364

Additional Document Info

start page

  • 25

end page

  • 34

volume

  • 38

issue

  • 5