Efficient Modelling of Embedded Software Systems and their Formal Verification.

Vladimir Estivill-Castro, Ren Hexel, David A. Rosenblueth

Browse the full APSEC paper archive.