Search results for: Paul Guernic
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1364-1383
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways > 33-47
Lecture Notes in Computer Science > Hybrid Systems > 230-254
Lecture Notes in Computer Science > Functional Programming Languages and Computer Architecture > 257-277
Lecture Notes in Control and Information Sciences > New Trends in Nonlinear Control Theory > 483-495
Lecture Notes in Computer Science > Static Analysis > 99-110
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 547-566
Lecture Notes in Computer Science > ESOP '92 > 20-38
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 149-169
Formal Methods and Models for System Design > Type Theoretic Models and Methods for System Design > 245-282
Frontiers of Computer Science > 2013 > 7 > 5 > 598-616
Frontiers of Computer Science > 2013 > 7 > 5 > 627-649