Search Results - Legay, Axel

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

    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).
    Other Authors: “…Legay, Axel…”
    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
  2. 2

    Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (xix, 366 pages) : illustrations (some color).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  3. 3

    Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings by FORMATS (Conference) Florence, Italy), SpringerLink (Online service)

    Published: Springer, 2014
    Description: 1 online resource (x, 253 pages) : illustrations.
    Other Authors: “…Legay, Axel…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
  4. 4

    Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice... by TACAS (Conference) Uppsala, Sweden), SpringerLink (Online service), ETAPS (Conference)

    Published: Springer, 2017
    Description: 1 online resource (xxiv, 609 pages) : illustrations.
    Other Authors: “…Legay, Axel…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I
  5. 5

    Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice... by TACAS (Conference) Uppsala, Sweden), SpringerLink (Online service), ETAPS (Conference)

    Published: Springer, 2017
    Description: 1 online resource (xxiv, 411 pages) : illustrations.
    Other Authors: “…Legay, Axel…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part II
  6. 6

    From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings by FPS (Workshop) Grenoble, France), SpringerLink (Online service), ETAPS (Conference)

    Published: Springer, 2014
    Description: 1 online resource (xii, 277 pages) : illustrations (black and white).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings
  7. 7

    Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings by ATVA (Symposium) Chiba, Japan), SpringerLink (Online service)

    Published: Springer, 2016
    Description: 1 online resource (xi, 530 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
  8. 8

    Risks and security of internet and systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised selected papers by CRiSIS (Conference) Roscoff, France), SpringerLink (Online service)

    Published: Springer, 2017
    Description: 1 online resource (viii, 239 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Risks and security of internet and systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised selected papers
  9. 9

    Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings by International SPIN Workshop Beijing, China, SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource (x, 261 pages) : illustrations (some color).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
  10. 10

    Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers by CRiSIS (Conference) Dinard, France), SpringerLink (Online service)

    Published: Springer, 2018
    Description: 1 online resource (x, 269 pages) : 72 illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
  11. 11

    Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday by SpringerLink (Online service)

    Published: Springer, 2017
    Description: 1 online resource (XVII, 662 pages 184 illustrations) : online resource.
    Other Authors:
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

Search Tools: