Exemplifying parametric timed specifications over signals with bounded behavior.

Étienne André Masaki Waga Natsuki Urabe Ichiro Hasuo

Published in: CoRR (2022)

Keyphrases

signal processing
search engine
high level
petri net
human behavior
formal specification
functional requirements
behavior patterns