Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
| Формат: | Електронний ресурс eКнига |
|---|---|
| Мова: | Англійська |
| Опубліковано: |
Association for Computing Machinery (ACM),
7/18/23
|
| Предмети: | |
| Онлайн доступ: | Full text available on Research4Life (ACM) |
Схожі ресурси
Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers
Proceedings of the 6th Workshop on System Software for Trusted Execution
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 7th Workshop on Models@run.time
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 9th 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 6th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the First International Workshop on Multimedia Verification
Proceedings of the 14th International Conference on Managed Languages and Runtimes
Proceedings of the 15th International Conference on Managed Languages & Runtimes
The Executive
Proceedings of the 2nd 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 1st International Workshop on Runtime and Operating Systems for Supercomputers
Proceedings of the 7th International Workshop on Runtime and Operating Systems for Supercomputers ROSS 2017
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 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
Proceedings of the 7th workshop on Programming languages meets program verification
The Executed God
за авторством: Taylor
за авторством: Taylor
Invitation to an Execution
за авторством: Bakken
за авторством: Bakken