A Calculus of Virtually Timed Ambients.

Einar Broch Johnsen Martin Steffen Johanna Beate Stumpf

Published in: WADT (2016)

Keyphrases

timed automata
model checking
petri net
theorem prover
feature selection
first order logic
real time
theorem proving
automated deduction
provably correct
colored petri nets
learning algorithm
image processing
multiscale
discrete event
algebraic structure
data sets