28 citations · 113 across the 8 of their papers we have counts for
1 paper · 1 filter
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues +2
The assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context and system variations…