Jacques Bertin

#	Item
1	PDF Document Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:13:54 Computer graphics Graphic design Graphics Jacques Bertin Computer Diagram Videotex Graphics hardware
2	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL
3	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Models of computation Model checkers Esterel Automata theory Model checking SIGNAL Theoretical computer science Uppaal Model Checker Computing Hardware description languages Synchronous programming languages Software engineering
4	Jacques Lambert chrystèle philipps-Bertin Add to Reading List Source URL: www.inrets.fr Language: French - Date: 2010-03-18 04:53:31