Search

Your search keyword '"Proenza, Julián"' showing total 24 results

Search Constraints

Start Over You searched for: Author "Proenza, Julián" Remove constraint Author: "Proenza, Julián" Publication Year Range Last 50 years Remove constraint Publication Year Range: Last 50 years
24 results on '"Proenza, Julián"'

Search Results

1. Description of the UPPAAL Models for SRP and CSRP and Verification of their Termination and Consistency Properties

3. Improved Clock Synchronization in TSN Networks with Legacy End-Stations

7. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

9. LETRA : Mapping Legacy Ethernet-Based Traffic into TSN Traffic Classes

14. Diseño de sfiCAN: un inyector físico de fallos para redes CAN basado en una topología en estrella

22. Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.

23. Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions.

24. Node fault tolerance for distributed embedded systems based on FTT-Ethernet

Catalog

Books, media, physical & digital resources