Runtime Verification

Runtime Verification

Detaylı Bibliyografya
Diğer Yazarlar:	Qadeer
Materyal Türü:	Elektronik Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg, 2013
Edisyon:	1
Konular:	Electronic books
Online Erişim:	Full text available on Springer Off-campus access

Benzer Materyaller

Runtime Verification
Baskı/Yayın Bilgisi: (2013)

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution

[email protected] (RE@RunTime), International Workshop on

2010 First International Workshop on [email protected]

Proceedings of the 7th Workshop on [email protected]

Computer Aided Verification
Baskı/Yayın Bilgisi: (2013)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2019)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2021)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2022)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2022)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2018)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2018)

Design Verification with e
Yazar:: Samir Palnitkar

2011 2nd International Workshop on [email protected]

Proceedings of the 15th International Conference on Managed Languages & Runtimes

Proceedings of the 14th International Conference on Managed Languages and Runtimes

Hardware and Software: Verification and Testing
Baskı/Yayın Bilgisi: (2013)

Hardware and Software: Verification and Testing
Baskı/Yayın Bilgisi: (2013)

Automated Technology for Verification and Analysis
Baskı/Yayın Bilgisi: (2013)

Verification and Validation in Scientific Computing
Yazar:: William L. Oberkampf, Christopher J. Roy
Baskı/Yayın Bilgisi: (2013)

Software Testing, Verification and Reliability

Adobe AIR (Adobe Integrated Runtime): Visual QuickPro Guide
Yazar:: Larry Ullman

Runtime and Operating Systems for Supercomputers (ROSS), IEEE/ACM International Workshop on

Proceedings of the 2nd International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 5th International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 9th International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 17th International Conference on Managed Programming Languages and Runtimes

Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes

Proceedings of the 1st International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 3rd International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 8th International Workshop on Runtime and Operating Systems for Supercomputers

Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization