A
Anders P. Ravn
3 works on record
Works
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Design of embedded real-time computing systems
Design of embedded real-time computing systems
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems