Anders P. Ravn
Identifiers
- Open LibraryOL9972532A
Top Subjects
- Embedded computer systems (1)
- Programming (1)
- System design (1)
- Software engineering (1)
- Z (Computer program language) (1)
Books by Anders P. Ravn
Total count: 3
-
Design of embedded real-time computing systemsDept. of Computer Science, Technical University of Denmark1995-01-01
-
Automated Technology for Verification and Analysis7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, ProceedingsSpringer London, Limited2009-01-01
-
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded SystemsAssociation for Computing Machinery2011-01-01