Introduction to synchronous programming langauges
Rtos
Operating systems
Outcome Based Education (OBE) - A practitioner's experience
Shin Hong, KAIST17 th April,2007 1/33 Provable Software Laboratory, CS KAIST.
What Does Real-Time Mean? Main difference to other computation: time time means that correctness of system depends - not only on logical results - but.
The Model Checker SPIN
