E-LIB Suche - Ergebnisse für: Rajamani, K.

1

Verified software: theories, tools, experiments

third international conference, VSTTE 2010, Edinburgh, UK, ... Lecture notes in computer science ; 6217

O’Hearn, Peter ; Rajamani, Sriram K. ; Leavens, Gary T. , 2010

Link: http://dx.doi.org/10.100..

2

Computer Aided Verification (vol. # 3576)

17th International Conference, CAV 2005, Edinburgh, Scotlan... Lecture Notes in Computer Science ; 3576

Etessami, Kousha ; Rajamani, Sriram K. , 2005

Link: http://dx.doi.org/10.100..

3

Computer aided verification

17th international conference, CAV 2005, Edinburgh, Scotlan... Lecture notes in computer science ; 3576

Etessami, Kousha ; Rajamani, Sriram K. , 2005

Link: http://dx.doi.org/10.100..

4

Model Checking Software

10th International SPIN Workshop Portland, OR, USA, May 9–1... Lecture Notes in Computer Science ; 2648;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Ball, Thomas ; Rajamani, Sriram K. , 2003

Link: https://doi.org/10.1007/..

5

Corrosion Processes: Sensing, Monitoring, Data Analytics, P..

Structural Integrity, 13

Vachtsevanos, George ; Natarajan, K. A ; Rajamani, Ravi. - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..