Verwandte Artikel zu 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 - Softcover

 
9783030350932: Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Softcover
ISBN 10: 3030350932 ISBN 13: 9783030350932
Verlag: Springer, 2019

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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. 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2019
  • ISBN 10 3030350932
  • ISBN 13 9783030350932
  • EinbandPaperback
  • SpracheEnglisch
  • Kontakt zum HerstellerNicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3030350916 ISBN 13:  9783030350918
Verlag: Springer, 2019
Softcover