VeriDACS WOrkshop, Festo

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: VeriDACS, a Prototype for Formal Verification of DACS Programs
Zeitraum27 Mai 2004
EreignistitelVeriDACS WOrkshop, Festo
VeranstaltungstypWorkshop