About this scholarly article

11th Asia-Pacific Software Engineering Conference - Reusable Formal Specification for Embedded Systems by Arichika, Y.; Araki, K. is a scholarly article available to read on EtoBox.

Author

Arichika, Y.; Araki, K.

Publisher

IEEE

Published

2004