Formal methods for embedded distributed systems

Descrição: The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both diffe... Veja mais