FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Document Type
Keywords
- DCTL (1)
- Modelchecking (1)
- Petri-Netze (1)
- Prozeßautomaten (1)
- Verifikation (1)
- Verteilte Systeme (1)
Institute
- FG Datenstrukturen und Softwarezuverlässigkeit (9) (remove)