VeriDACS WOrkshop, Festo

Bloem, R. (Redner/in)

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