19 citations · 30 across the 8 of their papers we have counts for
1 paper · 1 filter
Jiri Vinarek, Petr Hnetynka
The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation…