Contracts for modular discrete controller synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gwenaël Delaval, Hervé Marchand, Éric Rutten. Contracts for modular discrete controller synthesis. In Jaejin Lee, Bruce R. Childers, editors, Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010. pages 57-66, ACM, 2010. [doi]

This author has not been identified. Look up 'Gwenaël Delaval' in GoogleThis author has not been identified. Look up 'Hervé Marchand' in GoogleThis author has not been identified. Look up 'Éric Rutten' in Google

runs on WebDSL