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

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

    • The Modeling and Analysis of Mixed-Criticality Systems. - Data-Driven Statistical Learning of Temporal Logic Properties. - Anonymized Reachability of Hybrid Automata Networks. - Combined Global and Local Search for the Falsification of Hybrid Systems.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category