NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules.

Pawel Gluchowski

Published in: DepCoS-RELCOMEX (2016)

Keyphrases

control system
mathematical model
model checking
real time
model checker
object oriented
artificial intelligence
temporal logic