Yazar
Alur, Rajeev, 1966-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352
Format:
Electronic Resources
Alıntı:
Formal methods (Computer science)
Yazar
Samad, Tariq.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263604
Format:
Electronic Resources
Alıntı:
). Discrete-Event Systems and Their Optimization (Edwin K. P. Chong). Computer-Automated Control System Design
View Other Search Results
Yazar
Deng, Mingcong, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6739361
Format:
Electronic Resources
Alıntı:
IEEE Press series on systems science and engineering
Arama Sonuçlarını Sınırlandır
Daraltılmış: