Course Material

• Real-Time Embedded Systems (only slides), based on:

  J.W.S. Liu, Real-Time Systems, Prentice Hall, 2000

• Process Algebra, based on:

  W.J. Fokkink, Introduction to Process Algebra, Texts in Theoretical Computer Science, An EATCS Series, Springer, 2000

• Logic Programming, based on:

  I. Bratko, PROLOG Programming for Artificial Intelligence (3rd edition), Addison-Wesley, 2000