Handling of Operating Modes in Contract-Based Timing Specifications.

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

Published in: VECoS (2021)

Keyphrases

asynchronous circuits
delay insensitive
information retrieval
supply chain
formal specification
functional requirements
reactive systems
neural network
artificial intelligence
high level
data structure
search algorithm