Chaochen Zhou Books
Duration Calculus
Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons incl...
Read More