Contract-based specification of mode-dependent timing behavior.

Janis Kröger Björn Koopmann Ingo Stierand Martin Fränzle

Published in: Innov. Syst. Softw. Eng. (2024)

Keyphrases

asynchronous circuits
human behavior
high level
decision trees
user defined
databases
neural network
machine learning
image sequences
multiscale
evolutionary algorithm
hidden markov models
formal specification
dynamic behavior
qualitative simulation