Reusable Formal Specification for Embedded Systems.

Yuji Arichika, Keijiro Araki

Browse the full APSEC paper archive.