Keyword Connections

formal verification

Journals

1

1 Sensors (Basel, Switzerland)

Research Groups

0

No Research Group Connected

Bibliographies

1

1 Formal Verification for Task Description Languages. A Petri Net Approach.