Search results for: Jean-Pierre Talpin
Frontiers of Computer Science > 2019 > 13 > 4 > 677-697
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Hybrid Systems > 359-374
Synthesis of Embedded Software > 147-171
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 > Foundations of Software Technology and Theoretical Computer Science > Session 2(b) > 78-89
Lecture Notes in Computer Science > Embedded Software > 252-265
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 595-606
Formal Methods and Models for System Design > Type Theoretic Models and Methods for System Design > 213-243
Formal Methods and Models for System Design > Type Theoretic Models and Methods for System Design > 245-282