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

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

    • Invited Talks. - Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (Extended Abstract). - Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category