subjectheading:[Computer systems -- Verification -- Congresses.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Computer systems -- Verification -- Congresses.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Reachability problems : 17th international conference, RP 2023, Nice, France, October 11-13, 2023, proceedings / Olivier Bournez, Enrico Formenti[...] International Conference on Reachability Problems (17th : 2023 : Nice, France).; B[...] Cham : Springer, [2023] ©2023 QA76.76.V47 I58 2023 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Reachability problems : 16th international conference, RP 2022 / Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.). International Conference on Reachability Problems (16th : 2022 : Kaiserslautern,[...] Cham, Switzerland : Springer, 2022. QA76.76.V47 I58 2022 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Reachability problems : 15th international conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings / Paul C. Bell, Patrick Totzke, [...] International Conference on Reachability Problems (15th : 2021 : Liverpool, Engl[...] Cham : Springer, [2021] ©2021 QA76.76.V47 I58 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Cyber physical systems : design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revi[...] CyPhy (Workshop) (7th : 2017 : Seoul, Korea); Chamberlain, Roger, editor.; Taha, Wal[...] Cham, Switzerland : Springer, 2019. TJ213 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised[...] CyPhy (Workshop) (6th : 2016 : Pittsburgh, Penn.); Berger, Christian (Professor of[...] Cham, Switzerland : Springer, 2017. TJ213 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings / Kim Guldstrand Larsen, Igor [...] RP (Workshop) (10th : 2016 : Ålborg, Denmark); Larsen, K. G. (Kim G.), 1957- edit[...] Switzerland : Springer, 2016. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Engineering dependable software systems [electronic resource] / edited by Manfred Broy, Doron Peled and Georg Kalus. NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 :[...] Amsterdam ; Washington, D. C. : IOS Press, [2013] ©2013 QA76.76.V47 N38 2012eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Cyber Physical Systems : model-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, [...] Cyphy (Workshop) (9th : 2019 : New York, N.Y.); Chamberlain, Roger.; Grimheden, Mart[...] Cham : Springer, 2020. TK5105.8857 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Reachability problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, proceedings / Emmanuel Filiot, Raphaël[...] RP (Workshop) (13th : 2019 : Brussels, Belgium); Filiot, Emmanuel, editor.; Jungers,[...] Cham, Switzerland : Springer, [2019] QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / Igor Potapov, Pierre-Alai[...] RP (Workshop) (12th : 2018 : Marseille, France); Potapov, Igor, editor.; Reynier, Pi[...] Cham, Switzerland : Springer, 2018. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.