formal verification

Explore academic connections and research related to this keyword

115
Views
2
Total Connections

Related Articles & Bibliographies

1
Formal Verification for Task Description Languages. A Petri Net Approach.
López, Joaquín;Santana-Alonso, Alejandro;Díaz-Cacho Medina, Miguel;
2019 sensors DOI: E4965 217 views

Related Journals

sensors
ISSN: 1424-8220 6,122 views

Related Research Groups

No Research Groups Found

No research groups are currently associated with this keyword.