Artículos relacionados a Verification and Evaluation of Computer and Communication...

Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings - Tapa blanda

 
9783030350932: Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Esta edición ISBN ya no está disponible.

Sinopsis

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. 

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2019
  • ISBN 10 3030350932
  • ISBN 13 9783030350932
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783030350918: Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, ... Computer Science and General Issues)

Edición Destacada

ISBN 10:  3030350916 ISBN 13:  9783030350918
Editorial: Springer, 2019
Tapa blanda