Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. Deneux
Multi-Clock Timed Networks
Related publications
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
Analysis of Clock Trees for Optimization Through Multi Point Clock Tree Synthesis
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
Determination of Clock Synchronization Errors in Distributed Networks
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock
From Concurrent Multi-Clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Towards an International Height Reference Frame Using Clock Networks
International Association of Geodesy Symposia
Geophysics
Computers in Earth Sciences
Scan Insertion on Multi Clock Design in Modern SOC's
International Journal of Science and Research (IJSR)
Range-Based Clock Synchronization Protocol for Wireless Sensor Networks
Information Technology Journal
