Search Results - RV (Conference)

  • Showing 1 - 14 results of 14
Refine Results
  1. 1

    Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by RV (Conference) Online), SpringerLink (Online service)

    Published: Springer, 2020
    Description: 1 online resource (xix, 538 pages) : illustrations (some color).
    “…RV (Conference) Online)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
  2. 2

    Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings by RV (Conference) Online), SpringerLink (Online service)

    Published: Springer, 2021
    Description: 1 online resource : illustrations (some color).
    “…RV (Conference) Online)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
  3. 3

    Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers by RV (Conference) Istanbul, Turkey), SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource.
    “…RV (Conference) Istanbul, Turkey)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers
  4. 4

    Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings by RV (Conference) Rennes, France), SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (xvii, 426 pages).
    “…RV (Conference) Rennes, France)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings
  5. 5

    Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings by RV (Conference) Toronto, Ontario), SpringerLink (Online service)

    Published: Springer, 2014
    Description: 1 online resource (xviii, 358 pages) : illustrations.
    “…RV (Conference) Toronto, Ontario)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
  6. 6

    Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings by RV (Conference) Vienna, Austria), SpringerLink (Online service)

    Published: Springer, 2015
    Description: 1 online resource (xiv, 396 pages) : illustrations.
    “…RV (Conference) Vienna, Austria)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings
  7. 7

    Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings by RV (Conference) Madrid, Spain), SpringerLink (Online service)

    Published: Springer, 2016
    Description: 1 online resource (xxi, 512 pages) : illustrations.
    “…RV (Conference) Madrid, Spain)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
  8. 8

    Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings by RV (Conference) Seattle, Wash.), SpringerLink (Online service)

    Published: Springer, 2017
    Description: 1 online resource (xix, 432 pages) : illustrations.
    “…RV (Conference) Seattle, Wash.)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
  9. 9

    Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings by RV (Conference) Limassol, Cyprus), SpringerLink (Online service)

    Published: Springer, 2018
    Description: 1 online resource (xi, 470 pages) : illustrations (some color).
    “…RV (Conference) Limassol, Cyprus)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
  10. 10

    Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings by RV (Conference) Porto, Portugal), SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource (x, 413 pages) : illustrations (some color).
    “…RV (Conference) Porto, Portugal)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
  11. 11

    Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings by RV (Conference) Thessalonikē, Greece), SpringerLink (Online service)

    Published: Springer, 2023
    Description: 1 online resource (xi, 490 pages) : illustrations (some color).
    “…RV (Conference) Thessalonikē, Greece)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
  12. 12

    Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings by RV (Conference) San Ġiljan, Malta), SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (xiii, 492 pages) : illustrations.
    “…RV (Conference) San Ġiljan, Malta)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings
  13. 13

    Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers by RV (Conference) San Francisco, Calif.), SpringerLink (Online service)

    Published: Springer, 2012
    Description: 1 online resource (xii, 458 pages).
    “…RV (Conference) San Francisco, Calif.)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
  14. 14

    Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings by RV (Conference) Tʻbilisi, Georgia : Online), SpringerLink (Online service)

    Published: Springer, 2022
    Description: 1 online resource (xii, 347 pages) : illustrations (some color).
    “…RV (Conference) Tʻbilisi, Georgia : Online)…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings

Search Tools: