asowski

Queen ’ s School of Computing Technical Report Timed Automata to Synthesize Controllers of Dynamic Hierarchical Real-Time Plants Md

Tawhid Bin Waez, K. Rudie, J. Dingel, 2016 .

Technical Report 2014-622 Title : A Model for Industrial Real-Time Systems

Md Tawhid Bin Waez, K. Rudie, J. Dingel, 2014 .