Runtime Verification

Runtime Verification

Bibliografiska uppgifter
Övriga upphovsmän:	Qadeer
Materialtyp:	Elektronisk E-bok
Språk:	English
Publicerad:	Springer Berlin Heidelberg, 2013
Upplaga:	1
Ämnen:	Electronic books
Länkar:	Full text available on Springer Off-campus access

Liknande verk

Runtime Verification
Publicerad: (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

Requirements@Run.Time (RE@RunTime), International Workshop on

2010 First International Workshop on Requirements@Run.Time

Proceedings of the 7th Workshop on Models@run.time

Computer Aided Verification
Publicerad: (2013)

Computer Aided Verification
Publicerad: (2019)

Computer Aided Verification
Publicerad: (2019)

Computer Aided Verification
Publicerad: (2020)

Computer Aided Verification
Publicerad: (2020)

Computer Aided Verification
Publicerad: (2021)

Computer Aided Verification
Publicerad: (2021)

Computer Aided Verification
Publicerad: (2022)

Computer Aided Verification
Publicerad: (2022)

Computer Aided Verification
Publicerad: (2018)

Computer Aided Verification
Publicerad: (2018)

Design Verification with e
av: Samir Palnitkar

2011 2nd International Workshop on Requirements@Run.Time

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
Publicerad: (2013)

Hardware and Software: Verification and Testing
Publicerad: (2013)

Automated Technology for Verification and Analysis
Publicerad: (2013)

Verification and Validation in Scientific Computing
av: William L. Oberkampf, Christopher J. Roy
Publicerad: (2013)

Software Testing, Verification and Reliability

Adobe AIR (Adobe Integrated Runtime): Visual QuickPro Guide
av: 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

Open Source Software: Quality Verification
Publicerad: (2013)