Search Results - Legay, Axel
- Showing 1 - 11 results of 11
-
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, 2013Other Authors: “…Legay, Axel…”Description: 1 online resource (xvii, 426 pages).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2013Other Authors:Description: 1 online resource (xix, 366 pages) : illustrations (some color).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2014Other Authors: “…Legay, Axel…”Description: 1 online resource (x, 253 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2017Other Authors: “…Legay, Axel…”Description: 1 online resource (xxiv, 609 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2017Other Authors: “…Legay, Axel…”Description: 1 online resource (xxiv, 411 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2014Other Authors:Description: 1 online resource (xii, 277 pages) : illustrations (black and white).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2016Other Authors:Description: 1 online resource (xi, 530 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2017Other Authors:Description: 1 online resource (viii, 239 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2019Other Authors:Description: 1 online resource (x, 261 pages) : illustrations (some color).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2018Other Authors:Description: 1 online resource (x, 269 pages) : 72 illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
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, 2017Other Authors:Description: 1 online resource (XVII, 662 pages 184 illustrations) : online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook
Search Tools:
Related Subjects
Computer software Verification
Software engineering
Computer science
System analysis
Artificial intelligence
Computer networks Security measures
Computer simulation
Computer software Testing
Computer systems
Formal languages
Formal methods (Computer science)
Internet Security measures
Logic, Symbolic and mathematical
System design
Automatic theorem proving
Computer organization
Computer programs
Computer programs Verification
Computer security
Computers
Programming languages (Electronic computers)
Software architecture
Temporal automata