1
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /

Full text 
Favorites
Saved in:
2
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /

Full text 
Favorites
Saved in:
3
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III /

Full text 
Favorites
Saved in:
4
Simulation Tools and Techniques [E-Book] : 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /

Full text 
Favorites
Saved in:
5
NASA Formal Methods [E-Book] : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings /

Full text 
Favorites
Saved in:
6
The Engineering of Digital Twins [E-Book] /

Full text 
Favorites
Saved in:
7
NASA Formal Methods [E-Book] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings /

Full text 
Favorites
Saved in:
8
Simulation Tools and Techniques [E-Book] : 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings /

Full text 
Favorites
Saved in:
9
Computer Aided Systems Theory - EUROCAST 2022 [E-Book] : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers /

Full text 
Favorites
Saved in:
10
Quantitative evaluation of systems : 19th international conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings [E-Book] /

Full text 
Favorites
Saved in:
11
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /

Full text 
Favorites
Saved in:
12
Membrane Computing Models: Implementations [E-Book] /

Full text 
Favorites
Saved in:
13
Model Checking Software [E-Book] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /

Full text 
Favorites
Saved in:
14
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Full text 
Favorites
Saved in:
15
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Full text 
Favorites
Saved in:
16
Formal Modeling and Analysis of Timed Systems [E-Book] : 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings /

Full text 
Favorites
Saved in:
17
NASA Formal Methods [E-Book] : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings /

Full text 
Favorites
Saved in:
18
Transactions on Computational Collective Intelligence XXVII [E-Book] /

Full text 
Favorites
Saved in:
19
Multi-Agent Based Simulation XVI [E-Book] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Engineering Trustworthy Software Systems [E-Book] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /

Full text 
Favorites
Saved in:

Narrow Search Results