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