Formal Analysis for Continous Systems Controlled by Programs.

Shigeru Igarashi Tetsuya Mizutani Tetsuya Shirogane Masayuki Shio

Published in: ASIAN (1996)

Keyphrases

formal analysis
formal methods
management system
distributed systems
computer programs
neural network
computer systems