Analysis of a Software/Hardware System by Tense Arithmetic.

Kohji Tomita Takashi Tsuji Shigeru Igarashi

Published in: Logic, Language and Computation (1994)

Keyphrases

analysis tool
quantitative analysis
databases
hardware design
information systems
data flow
low cost
computer systems
software systems
data acquisition
software implementation
computing systems
data analysis
video sequences
web services
data mining
neural network