Předmět Systems Theory (MIE-TES.2)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu MIE-TES.2 - Systems Theory, Fakulta informačních technologií, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
The student will have the ability to use and apply some of the most important formalisms for modeling complex systems. He/she will also be familiar with techniques for the automatic analysis of such models.
Literatura
Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, http://LeeSeshia.org, ISBN 978-0-557-70857-4, 2011.Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.
Garant
Stefan Ratschan
Vyučující
Stefan Ratschan