Ergebnisse für: runtime adaption
Hier findest Du Bücher, die sich mit runtime adaption beschäftigen.
Adaptive embedded systems use at runtime different system configurations in order to calculate output signals for actuators from sensor signals. The set of possible system configurations is huge. The ESP has for instance more than 10^72 possible system configurations. It is thus complex to decide wh...
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers ...
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers ...