Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL

Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICSOFT (15. : 2020 : Online) ICSOFT 2020
1. Verfasser: Soualah, Sohaib (VerfasserIn)
Weitere Verfasser: Hafidi, Yousra (VerfasserIn), Khalgui, Mohamed (VerfasserIn), Chaoui, Allaoua (VerfasserIn), Kahloul, Laid (VerfasserIn)
Pages:2020
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Introducing AI/ML Components into Software Systems 2020 Slezak, Dominik
Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes 2020 Mohagheghi, Mohammadsadegh
A Case Study on Performance Optimization Techniques in Java Programming 2020 Khlud, Ciprian
A Data-driven Methodology towards Interpreting Readability against Software Properties 2020 Karanikiotis, Thomas
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications 2020 Witteck, Ulrike
Detecting Model View Controller Architectural Layers using Clustering in Mobile Codebases 2020 Dobrean, Dragos
Data-centric Refinement of Database-Database Dependency Analysis of Database Program 2020 Jana, Angshuman
Superlinear and Bandwidth Friendly Geo-replication for Store-and-forward Systems 2020 Brahneborg, Daniel
A Real-time Integration of Semantics into Heterogeneous Sensor Stream Data with Context in the Internet of Things 2020 Seidiu, Besmir
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture 2020 Eddine, Choucha Chams
Temporal Convolutional Networks for Just-in-Time Software Defect Prediction 2020 Ardimento, Pasquale
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints 2020 Rouainia, Hanene
Application of Computer Vision Technologies for Automated Utility Meters Reading 2020 Spichkova, Maria
Machine Learning Models for Automatic Labeling: A Systematic Literature Review 2020 Fredriksson, Teodor
A Parallel Many-core CUDA-based Graph Labeling Computation 2020 Quer, Stefano
Bi-Objective CSO for Big Data Scientific Workflows Scheduling in the Cloud: Case of LIGO Workflow 2020 Bousselmi, K.
An Optimization Method for Entity Resolution in Databases: With a Case Study on the Cleaning of Scientific References in Patent Databases 2020 Caron, Emiel
Software Architects are Dead! Long Live Software Architects! 2020 Buschmann, Frank
Consistency Analysis of AUTOSAR Timing Requirements 2020 Beringer, Steffen
Software Test Automation Maturity: A Survey of the State of the Practice 2020 Wang, Yuging
Alle Artikel auflisten