Runtime Verification

Runtime Verification

Bibliografiske detaljer
Andre forfattere:	Legay
Format:	Electronisk eBog
Sprog:	English
Udgivet:	Springer Berlin Heidelberg, 2013
Udgivelse:	1
Fag:	Electronic books
Online adgang:	Full text available on Springer Off-campus access

Lignende værker

Runtime Verification
Udgivet: (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
Udgivet: (2013)

Computer Aided Verification
Udgivet: (2019)

Computer Aided Verification
Udgivet: (2019)

Computer Aided Verification
Udgivet: (2020)

Computer Aided Verification
Udgivet: (2020)

Computer Aided Verification
Udgivet: (2021)

Computer Aided Verification
Udgivet: (2021)

Computer Aided Verification
Udgivet: (2022)

Computer Aided Verification
Udgivet: (2022)

Computer Aided Verification
Udgivet: (2018)

Computer Aided Verification
Udgivet: (2018)

Design Verification with e
af: 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
Udgivet: (2013)

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

Automated Technology for Verification and Analysis
Udgivet: (2013)

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

Software Testing, Verification and Reliability

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