Threads
Intro Teddy Koala Threads Darwin Q & ¬ A HorCom Component Based Architectures Formalization and Verification Rob van Ommering Philips Research Eindhoven, The Netherlands November 7 th , 2003 Intro Teddy Koala Threads Darwin Q & ¬ A HorCom First, a disclaimer:
826 views • 45 slides