Specifying and Refining Internal Operations in Z.

John Derrick Eerke A. Boiten Howard Bowman Maarten Steen

Published in: Formal Aspects Comput. (1998)

Keyphrases

internal and external
internal states
arithmetic operations
similarity measure
multiscale
computer science
control system
hidden markov models
boolean operations