Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Hamon, Gregoire"'
Publikováno v:
In Control Engineering Practice 2012 20(1):2-13
Publikováno v:
In IFAC Proceedings Volumes 2009 42(17):376-385
Autor:
Hamon, Grégoire
Publikováno v:
In Electronic Notes in Theoretical Computer Science 27 June 2006 153(4):37-54
Publikováno v:
Verification, Model Checking & Abstract Interpretation (9783642358722); 2013, p275-294, 20p
Publikováno v:
Proceedings of the 2008 ACM SIGPLAN-SIGBED Conference: Languages, Compilers & Tools for Embedded Systems; 6/12/2008, p121-130, 10p