• Shop by category
  • Powered by eBay
  • Formal Modeling and Analysis of Timed Systems: 5th International Conference, FOR

    • Item No : 156807881132
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.76
    • * Item Description

    • Abstraction of Probabilistic Systems. - From Analysis to Design. - Costs Are Expensive! - Robust Sampling for MITL Specifications. - Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category