VeriDACS WOrkshop, Festo

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: VeriDACS, a Prototype for Formal Verification of DACS Programs