Cited By
View all- Baouya ABennouar DMohamed OOuchani S(2018)A quantitative verification framework of SysML activity diagrams under time constraintsExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.05.04942:21(7493-7510)Online publication date: 29-Dec-2018
- Guha SKrishna SNarayan CArun-Kumar S(2013)A Unifying Approach to Decide Relations for Timed Automata and their Game CharacterizationElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.120.5120(47-62)Online publication date: 26-Jul-2013