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

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

    • Learning Specifications for Labelled Patterns. - Computation of Transient in Max-Plus Linear Systems via SMT-Solving. - Clairvoyant Monitoring for Signal Temporal Logic Patterns. - Embedding Online RV for Fault Disambiguation on Robonaut2.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category