Yazar
Gnesi, Stefania, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format:
Electronic Resources
Alıntı:
41 -- 3.5 Conclusion 55 -- PART III TRANSPORTATION SYSTEMS 61 -- 4 SOME TRENDS IN FORMAL METHODS
View Other Search Results
Yazar
Chan, Tze Fun, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6016255
Format:
Electronic Resources
Alıntı:
Transformation Sub-Model 35 -- 3.3.2 Electrical Sub-Model 35 -- 3.3.3 Mechanical Sub-Model 37 -- 3.3.4 Simulation
View Other Search Results