Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii. On Formal Modeling of TOPPERS Embedded Software. In Olga Ormandjieva, Constantinos Constantinides, Alain Abran, Roger Y. Lee, editors, Proceedings of the Eighth ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010. pages 93-100, IEEE Computer Society, 2010. [doi]
Abstract is missing.