29 citations · 31 across the 5 of their papers we have counts for
1 paper · 1 filter
Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and…