Login / Signup
Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking.
Agnieszka M. Zbrzezny
Andrzej Zbrzezny
Published in:
EPIA (2015)
Keyphrases
</>
bounded model checking
model checking
intelligent systems