Login / Signup

Model checking of finite-state machine-based scenario-aware dataflow using timed automata.

Mladen SkelinErik Ramsgaard WognsenMads Chr. OlesenRené Rydhof HansenKim Guldstrand Larsen
Published in: SIES (2015)
Keyphrases