ASTEC publications 2007

Gustafsson, P. and Sagonas, K. 2007.

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

To appear in: In Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07). . , pdf

Hessel, A. 2007.

Model-Based Test Case Generation for Real-Time Systems

Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology vol: 301 . , pdf