Suchergebnisse - Runtime Verification

Runtime verification : Dagstuhl seminar 07011 ; January 2-6, 2007 ; executive summary

Finkbeiner, Bernd

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]

E-Book

Runtime verification : 07011 abstracts collection ; Dagstuhl seminar

Finkbeiner, Bernd

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]

E-Book

Runtime Verification : A Hands-On Approach in Java

Colombo, Christian (Verfasser)

1st ed. 2022

Cham : Springer International Publishing, 2022

E-Book

Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Deshmukh, Jyotirmoy (Herausgeber)

1st ed. 2020

Cham : Springer International Publishing, 2020

E-Book

Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Falcone, Yliès (Herausgeber)

1st ed. 2016

Cham : Springer International Publishing, 2016

E-Book

Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Lahiri, Shuvendu (Herausgeber)

1st ed. 2017

Cham : Springer International Publishing, 2017

E-Book

Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Feng, Lu (Herausgeber)

1st ed. 2021

Cham : Springer International Publishing, 2021

E-Book

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Colombo, Christian (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

E-Book

Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Finkbeiner, Bernd (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

E-Book

Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

Dang, Thao (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

E-Book

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Legay, Axel (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Bonakdarpour, Borzoo (Herausgeber)

1st ed. 2014

Cham : Springer International Publishing, 2014

E-Book

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Qadeer, Shaz (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Bartocci, Ezio (Herausgeber)

1st ed. 2015

Cham : Springer International Publishing, 2015

E-Book

Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Bensalem, Saddek (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Sen, Koushik (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Könighofer, Bettina (Herausgeber)

1st ed. 2026

Cham : Springer Nature Switzerland, 2026

E-Book

Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Ábrahám, Erika (Herausgeber)

1st ed. 2025

Cham : Springer Nature Switzerland, 2025

E-Book

Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Katsaros, Panagiotis (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

E-Book

Treffer 1 - 20 von 20

Suche einschränken