Formal Verification of Transportation Systems

Description

Formal Verification of Transportation Systems is....

Current Projects

Formal Analysis of Traffic Conflicts Severity using KeYmaera

A-Z Index
Directory
Campus Map
Shuttle Bus Schedule
MyConcordia
Webmail
Libraries
Jobs
Giving to Concordia

Concordia University - Hardware Verification Group
1455 de Maisonneuve Blvd. W, EV005.139, Montreal, Quebec, Canada H3G 1M8
Telephone (1) 514-848-2424 ext. 3114
Contact Us | Webmaster | University Mailing Address
Copyright © 2024 Concordia University | Legal Notice

Page Info

Page Title: Formal Verification of Transportation Systems - Concordia University - Montreal, Quebec, Canada

Page URL:http://hvg.ece.concordia.ca/projects/fvts/index.php ...

Date Printed: Sun December 22, 2024

Accessibility Tools

Breadcrumb

Formal Verification of Transportation Systems

Concordia University

Tools & Quicklinks

Page Info