Exploring Summation and Product Operators in the Refinement Calculus.

Ralph-Johan Back Michael J. Butler

Published in: MPC (1995)

Keyphrases

life cycle
product design
provably correct
real time
neural network
mathematical morphology
automated deduction
computer algebra