Search results for: Paul Le Guernic
Frontiers of Computer Science > 2019 > 13 > 4 > 677-697
Synthesis of Embedded Software > 147-171
Lecture Notes in Computer Science > Embedded Software > 252-265
Formal Methods and Models for System Design > Type Theoretic Models and Methods for System Design > 213-243
Science of Computer Programming > 2015 > 106 > Complete > 54-77
Journal of Systems Architecture > 2013 > 59 > 10 Part D > 1157-1170
Science of Computer Programming > 2012 > 77 > 2 > 113-128
Electronic Notes in Theoretical Computer Science > 2010 > 263 > Complete > 111-127
Electronic Notes in Theoretical Computer Science > 2008 > 200 > 1 > 51-70
International Journal of Parallel Programming > 2005 > 33 > 6 > 613-643
Information and Computation > 2000 > 163 > 1 > 125-171
Discrete Event Dynamic Systems > 2000 > 10 > 4 > 325-346