subjectheading:[Temporal automata] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Temporal automata]

Search:

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

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Formal modeling and analysis of timed systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings[...] FORMATS (Conference) (21st : 2023 : Antwerp, Belgium); Petrucci, Laure, editor.; Spr[...] Cham : Springer, 2023. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Formal modeling and analysis of timed systems : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings / Cat[...] FORMATS (Conference) (19th : 2021 : Online); Dima, Catalin, editor.; Shirmohammadi, [...] Cham, Switzerland : Springer, 2021. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Formal modeling and analysis of timed systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-[...] FORMATS (Conference) (14th : 2016 : Québec, Québec); Fränzle, Martin, editor.; Ma[...] Switzerland : Springer, 2016. QA76.9.C65 F67 2016eb \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Formal modeling and analysis of timed systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-1[...] FORMATS (Conference) (12th : 2014 : Florence, Italy); Legay, Axel, editor.; Bozga, M[...] Cham : Springer, 2014. QA76.9.C65 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings /[...] FORMATS (Conference) (20th : 2022 : Warsaw, Poland); Bogomolov, Sergiy, editor.; Par[...] Cham, Switzerland : Springer, 2022. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings / Na[...] FORMATS (Conference) (18th : 2020 : Online); Bertrand, Nathalie (Researcher); Jansen[...] Cham : Springer, 2020. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : pro[...] FORMATS (Conference) (17th : 2019 : Amsterdam, Netherlands); André, Etienne, edit[...] Cham : Springer, [2019] ©2019 QA76.9.F67 F67 2019eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / D[...] FORMATS (Conference) (16th : 2018 : Beijing, China); Jansen, David N. editor.; Prabh[...] Cham, Switzerland : Springer, 2018. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, [...] FORMATS (Conference) (13th : 2015 : Madrid, Spain); Sankaranarayanan, Sriram, edit[...] Cham : Springer, 2015. QA76.9.C65 \| 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.