Towards a Semiformal Development Methodology for Embedded Systems.

Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.

Browse the full ENASE paper archive.