4 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is nec…