Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Formal Methods for Intelligent Transportation Systems
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Formal Methods for Intelligent Transportation Systems