• Shop by category
  • Powered by eBay
  • Formal Methods for Industrial Critical Systems: A Survey of Applications by Stef

    • Item No : 236141352190
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile_uk_store
    • Current Bid : US $142.04
    • * Item Description

    • Marie Dufl ot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston 7.1 Introduction 133 7.2 PTAs 134 7.3 Probabilistic Model Checking 136 7.4 Case Study: CSMA/CD 139 7.5 Discussion and Conclusion 146 PART V INTERNET AND ONLINE SERVICES 151 8 DESIGN FOR VERIFIABILITY: THE OCS CASE STUDY 153.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category