TY  - BOOK
A1  - edited by Fabrice Kordon and  Michel Lemoine
TI  - Formal methods for embedded distributed systems : how to master the complexity
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101387903
UR  /book/101387903/Formal-methods-for-embedded-distributed-systems/
ER  -