Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.

Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki

Browse the full COMPSAC paper archive.