Proceedings of the International Workshop on Automated Verification of Critical Systems (AVoCS). Electronic Communications of the EASST.. Vol. 72
Paper in proceedings
Feedback and support
At research.chalmers.se you will find research projects from external funders. Search for all projects at Chalmers or just a single department.
Filter your search by funder, geographical data, project participants or collaborations.