Items related to 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
Publisher: Springer, 2019

This specific ISBN edition is currently not available.

Synopsis

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. 

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2019
  • ISBN 10 3030350932
  • ISBN 13 9783030350932
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783030350918: Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, ... (Lecture Notes in Computer Science, 11847)

Featured Edition

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