Checking Modal Contracts for Virtually Timed Ambients.

Einar Broch Johnsen Martin Steffen Johanna Beate Stumpf Lars Tveito

Published in: ICTAC (2018)

Keyphrases

petri net
modal logic
supply chain
data structure
discrete event
consistency checking
real time
databases
data sets
neural network
data mining
artificial intelligence
objective function
special case
markov chain
moral hazard