Linked e-resources
Details
Table of Contents
Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints
R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture
MLCA: A Model-Learning-Checking Approach for IoT Systems
A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data
On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment
A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing
Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach
A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium
Multilevel Readability Interpretation against Software Properties: A Data-centric Approach
Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop
A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints
R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture
MLCA: A Model-Learning-Checking Approach for IoT Systems
A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data
On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment
A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing
Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach
A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium
Multilevel Readability Interpretation against Software Properties: A Data-centric Approach
Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop
A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.