Login / Signup
Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021
Published in:
MBMV (2021)
Keyphrases
</>
description languages
distributed systems
learning systems
multi agent
learning environment
orders of magnitude
model checking
service oriented
description language
asynchronous circuits