Formal Modeling and Analysis of Timed Systems: 10th International Conference, FO
60,91 €
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.
Jetzt bei Ebay:
