1. Formal Modeling and Analysis of Timed Systems
پدیدآورنده : \ Sriram Sankaranarayanan , Enrico Vicario (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer Applications.,Computer simulation -- Congresses.,Temporal automata -- Congresses.,کاربرد رایانه ,کامپیوترها -- شبیهسازی -- کنگرهها
رده :
.
F6
2015
E-Book
,
