A unifying approach to breakpoint specification.

Christoph Bockisch Stefan Schulz Viola Wenz Arno Kesper

Published in: CIbSE (2021)

Keyphrases

specification language
high level
neural network
image processing
multiscale
conceptual model
transition systems
tool suite
user defined
formal specification
formal verification