[ACM Press the ACM SIGPLAN/SIGBED 2010 conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10 - Contracts for modular discrete controller synthesis
Delaval, Gwenaël, Marchand, Hervé, Rutten, EricYear:
2010
Language:
english
DOI:
10.1145/1755888.1755898
File:
PDF, 476 KB
english, 2010