↓ Skip to main content
What is this page? Embed badge

Verification and Evaluation of Computer and Communication Systems

Overview of attention for book
Cover of 'Verification and Evaluation of Computer and Communication Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot
  3. Altmetric Badge
    Chapter 2 Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking
  4. Altmetric Badge
    Chapter 3 Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks
  5. Altmetric Badge
    Chapter 4 Regression-Based Statistical Bounds on Software Execution Time
  6. Altmetric Badge
    Chapter 5 WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction
  7. Altmetric Badge
    Chapter 6 Factor-Based C-AMAT Analysis for Memory Optimization
  8. Altmetric Badge
    Chapter 7 An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study
  9. Altmetric Badge
    Chapter 8 Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation
  10. Altmetric Badge
    Chapter 9 A Toolset for Mobile Systems Testing
  11. Altmetric Badge
    Chapter 10 Intertwined Global Optimization Based Reachability Analysis
  12. Altmetric Badge
    Chapter 11 Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude
  13. Altmetric Badge
    Chapter 12 TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm
  14. Altmetric Badge
    Chapter 13 Uppaal vs Event-B for Modelling Optimised Link State Routing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page

Readers on

mendeley
4 Mendeley
Summary Facebook

This page is provided by Altmetric.