Search Results - "system modeling"

  1. 141
  2. 142
  3. 143
  4. 144
  5. 145
  6. 146
  7. 147
  8. 148
  9. 149
  10. 150
  11. 151
  12. 152
  13. 153
  14. 154
  15. 155
  16. 156
  17. 157
  18. 158
  19. 159
  20. 160

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2020
    Table of Contents: “…Program Verification -- SAT and SMT -- Timed and Dynamical Systems -- Verifying Concurrent Systems -- Probabilistic Systems -- Model Checking and Reachability -- Timed and Probabilistic Systems.…”
    Link to Metadata
    Electronic eBook