Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VE
54.95 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10396280
Beschreibung
Modeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems.- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps.- Analyzing Security Protocols Using Scenario Based Simulation.- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis.- Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules.- Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems.
Eigenschaften
Breite: | 155 |
Gewicht: | 207 g |
Höhe: | 235 |
Länge: | 7 |
Seiten: | 111 |
Sprachen: | Englisch |
Autor: | Mohamed Kaâniche, Pierre Ganty |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen