Fish4KnowledgeRobert B. Fisher, Yun-Heh Chen-Burger, Daniela Giordano, Lynda Hardman, Fang-Pang Lin₹7,730
Leveraging Applications of Formal Methods, Verification and ValidationTiziana Margaria, Bernhard Steffen₹3,963
An Introduction to Bond Graph Modeling with ApplicationsVitor M. R. Cunha, J. A. Tenreiro Machado₹11,668