Search Results - Tasiran, Serdar.
- Showing 1 - 4 results of 4
-
1
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers by RV (Workshop) Vancouver, B.C.), SpringerLink (Online service)
Published: Springer, 2007Other Authors:Description: 1 online resource (viii, 213 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
2
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, 2013Other Authors:Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II by CAV (Conference) New York, N.Y.), SpringerLink (Online service)
Published: SpringerOpen, 2019Other Authors:Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I by CAV (Conference) New York, N.Y.), SpringerLink (Online service)
Published: SpringerOpen, 2019Other Authors:Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook
Search Tools:
Related Subjects
Artificial intelligence
Computer programs Verification
Computer science
Computer software Testing
Computer software Verification
Formal methods (Computer science)
Software engineering
Aspect-oriented programming
Computer industry
Computer logic
Computer network architectures
Computer programs
Computer simulation
Information theory
Logic design