Produkt mají v nabídce:
Real-Time Systems - Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Germany) a Dierks, Henning
An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.
