subjectheading:[Computer software -- Reliability -- Congresses.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Computer software -- Reliability -- Congresses.]

Search:

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

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. Pretschner, Alexander, editor.; Peled, Doron, editor.; Hutzelmann, Thomas, editor. Amsterdam, Netherlands : IOS Press, 2017. ©2017 QA76.758 .D474 2017 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Software engineering for resilient systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / Radu Cali[...] SERENE (Workshop) (11th : 2019 : Naples, Italy); Calinescu, Radu C., 1968- editor.; [...] Cham, Switzerland : Springer, 2019. QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical System[...] International Workshop on Formal Methods for Industrial Critical Systems (22nd :[...] Cham, Switzerland : Springer, 2017. QA76.9.F67 I58 2017eb \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings / Ale[...] SERENE (Workshop) (9th : 2017 : Geneva, Switzerland); Romanovsky, Alexander, 1954-[...] Cham : Springer, 2017. QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, [...] Ada-Europe International Conference on Reliable Software Technologies (22nd : 20[...] Cham, Switzerland : Springer, 2017. QA76.76.R44 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical System[...] International Workshop on Formal Methods for Industrial Critical Systems (21st :[...] Cham : Springer, 2016. QA76.9.F67 I58 2016eb \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Software engineering for resilient systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 20[...] SERENE (Workshop) (8th : 2016 : Gothenburg, Sweden); Crnkovic, Ivica, editor.; Troub[...] Switzerland : Springer, 2016. QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Formal methods for industrial critical systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Pr[...] International Workshop on Formal Methods for Industrial Critical Systems (20th :[...] Cham : Springer, 2015. QA76.9.F67 I58 2015eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Software engineering for resilient systems [electronic resource] : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 201[...] SERENE (Workshop) (6th : 2014 : Budapest, Hungary); Majzik, István, editor.; Vieira[...] Cham : Springer, 2014. QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare. Broy, Manfred.; Leuxner, Christian.; Hoare, A. G.; NATO Advanced Study Institute on So[...] Amsterdam, The Netherlands : IOS Press, 2011. QA76.76.P76 S64 2011eb \| 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.