Software framework for the development of context-aware reconfigurable systems
S Fkaier - 2021 - publikationen.sulb.uni-saarland.de
In this project we propose a new software framework for the development of context-aware
and secure controlling software of distributed reconfigurable systems. Context-awareness is …
and secure controlling software of distributed reconfigurable systems. Context-awareness is …
[PDF][PDF] Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
This paper deals with the modelling and verification of reconfigurable discrete event systems
using model driven engineering (MDE) and Isabelle/HOL. MDE is a software development …
using model driven engineering (MDE) and Isabelle/HOL. MDE is a software development …
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment
CE Choucha, M Ramdani, M Khalgui… - … Conference, ICSOFT 2020 …, 2021 - Springer
The verification of reconfigurable real-time systems that dynamically change their structures
due to external changes in environment or user requirements continues to challenge experts …
due to external changes in environment or user requirements continues to challenge experts …
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop
This paper deals with the modelling and verification of reconfigurable discrete event systems
using model driven engineering Hadoop. Hadoop is therefore a platform for establishing a …
using model driven engineering Hadoop. Hadoop is therefore a platform for establishing a …
[PDF][PDF] Software Framework for the Development of Context-Aware Reconfigurable Systems
I der Naturwissenschaftlich-Technischen, S FKAIER - core.ac.uk
In this project we propose a new software framework for the development of context-aware
and secure controlling software of distributed reconfigurable systems. Context-awareness is …
and secure controlling software of distributed reconfigurable systems. Context-awareness is …