Search Results for author: Petr Hnetynka

Found 1 papers, 0 papers with code

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

no code implementations29 Mar 2016 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).

Translation

Cannot find the paper you are looking for? You can Submit a new open access paper.