subjectheading:[Formal methods (Computer science) -- Congresses.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Formal methods (Computer science) -- Congresses.]

Search:

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

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Formal methods and software engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2022, Brisbane, QLD, Australia, Nove[...] International Conference on Formal Engineering Methods (24th : 2022 : Brisbane, [...] Singapore : Springer, [2023] ©2023 QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Formal methods for an informal world : ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / Anto[...] ICTAC (Summer School) (2021 : Online); Cerone, Antonio, editor. Cham, Switzerland : Springer, 2023. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / Panagiotis Katsaros, Laura [...] RV (Conference) (23rd : 2023 : Thessalonikē, Greece); Katsaros, Panagiotis, 1969-[...] Cham, Switzerland : Springer, 2023. QA76.76.V47 R83 2023 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / Kristin Yvonne Rozier, Swarat Chau[...] NFM (Symposium) (15th : 2023 : Houston, Tex.); Rozier, Kristin Yvonne, editor.; Chau[...] Cham, Switzerland : Springer, 2023. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Structured object-oriented formal language and method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised sel[...] SOFL+MSVL (Workshop) (11th : 2022 : Madrid, Spain); Liu, Shaoying, 1960- editor.; Du[...] Cham : Springer, 2023. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Formal methods: 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings / Marsha Chechik, Joost-Pieter Katoen, Mar[...] International Symposium of Formal Methods Europe (25th : 2023 : Lübeck, Germany[...] Cham, Switzerland : Springer, 2023. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pier[...] Formal Methods Teaching Workshop and Tutorial (5th : 2023 : Lübeck, Germany); Dub[...] Cham : Springer, 2023. QA76.9.F67 F67 2023eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 202[...] SETTA (Symposium) (8th : 2022 : Beijing, China).; Dong, Wei, editor.; Talpin, Jean-P[...] Cham : Springer, [2022] ©2022 QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Work[...] International Workshop on Software Verification and Formal Methods for ML-Enable[...] Cham : Springer, 2023. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Formal methods : 25th Brazilian Symposium, SBMF 2022, Virtual event, December 6-9, 2022, Proceedings / Lucas Lima, Vince Molnár (eds.). Brazilian Symposium on Formal Methods (25th : 2022 : Online); Lima, Lucas.; Molnár,[...] Cham : Springer, 2023. QA76.758 \| 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.