Runtime Verification

Runtime Verification

Podrobná bibliografie
Další autoři:	Legay
Médium:	Elektronický zdroj E-kniha
Jazyk:	English
Vydáno:	Springer Berlin Heidelberg, 2013
Vydání:	1
Témata:	Electronic books
On-line přístup:	Full text available on Springer Off-campus access

Podobné jednotky

Runtime Verification
Vydáno: (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
Vydáno: (2013)

Computer Aided Verification
Vydáno: (2019)

Computer Aided Verification
Vydáno: (2019)

Computer Aided Verification
Vydáno: (2020)

Computer Aided Verification
Vydáno: (2020)

Computer Aided Verification
Vydáno: (2021)

Computer Aided Verification
Vydáno: (2021)

Computer Aided Verification
Vydáno: (2022)

Computer Aided Verification
Vydáno: (2022)

Computer Aided Verification
Vydáno: (2018)

Computer Aided Verification
Vydáno: (2018)

Design Verification with e
Autor: 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
Vydáno: (2013)

Hardware and Software: Verification and Testing
Vydáno: (2013)

Automated Technology for Verification and Analysis
Vydáno: (2013)

Verification and Validation in Scientific Computing
Autor: William L. Oberkampf, Christopher J. Roy
Vydáno: (2013)

Software Testing, Verification and Reliability

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