2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process…