Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Philippe Dague
Distributed Tree Decomposition With Privacy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Decentralized Embedded Diagnosis Inside Vehicles: Application to Smart Distance Keeping Function
Predictability Analysis of Distributed Discrete Event Systems
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
