10 results · clear filters Sort: newest oldest name

1. Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), San Antonio, Texas, USA, May 9, 2023.
   2023 · San Antonio, United States
   Computer and information sciences
   e10r8f7
2. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
   series, 9 events, 2014 to 2023
   Computer and information sciences
   s121adp
3. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022
   2022 · Munich, Germany
   Computer and information sciences
   e10r8e9
4. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021.
   2021 · Brussels, Belgium
   Computer and information sciences
   e10r8db
5. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020
   2020 · Berlin, Germany
   Computer and information sciences
   e10r8cd
6. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019.
   2019 · Montreal, Canada
   Computer and information sciences
   e10xmvr
7. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018
   2018 · Oxford, United Kingdom
   Computer and information sciences
   e10pme1
8. ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA
   2017 · Pennsylvania, United States
   Computer and information sciences
   e10xmtt
9. ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna, Austria
   2016 · Vienna, Austria
   Computer and information sciences
   e10xmsw
10. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015.
    2014 · Seattle, United States
    Computer and information sciences
    e10xmry

As JSON: https://labs.confref.org/api/search?field=1&series=s121adp