A Predicate Transformer for the Progress Property 'To-Always'.

Rutger M. Dijkstra Beverly A. Sanders

Published in: Formal Aspects Comput. (1997)

Keyphrases

fuzzy logic
computer vision
evolutionary algorithm
power system
fault diagnosis
first order logic
data sets
databases
multiscale