A Refinement Strategy for Hybrid System Design with Safety Constraints

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:MEDI (10. : 2021 : Online) Model and Data Engineering
1. Verfasser: Cheng, Zheng (VerfasserIn)
Weitere Verfasser: Méry, Dominique (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures 2021 Surti, Kunal
Social Neural Hybrid Recommendation with Deep Representation Learning 2021 Berkani, Lamia
Cloud Query Processing with Reinforcement Learning-Based Multi-objective Re-optimization 2021 Wang, Chenxiao
K-Nearest Neighbors Classification of Semantic Web Ontologies 2021 Koech, Gideon
Automated Generation of Datasets from Fishbone Diagrams 2021 Sal, Brian
Enhancing Sedona (formerly GeoSpark) with Efficient k Nearest Neighbor Join Processing 2021 García-García, Francisco
Multi-facets Contract for Modeling and Verifying Heterogeneous Systems 2021 Khouass, A. Abdelkader
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems 2021 Mesli-Kesraoui, Ouissem
An Approach to Detect Cyberbullying on Social Media 2021 Ansari, Fatemeh Sajadi
More Automation in Model Driven Development 2021 André, Pascal
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata 2021 Vain, Jüri
Top-K Formal Concepts for Identifying Positively and Negatively Correlated Biclusters 2021 Houari, Amina
Anonymization Methods of Structured Health Care Data: A Literature Review 2021 Vovk, Olga
A Blockchain-Based Platform for the e-Procurement Management in the Public Sector 2021 Elabdallaoui, Hasna Elalaoui
Using Multidimensional Skylines for Regret Minimization 2021 Alami, Karim
A Refinement Strategy for Hybrid System Design with Safety Constraints 2021 Cheng, Zheng
A Low-Cost Authentication Protocol Using Arbiter-PUF 2021 Zerrouki, Fahem
An Ontology Engineering Case Study for Advanced Digital Forensic Analysis 2021 Chikul, Pavel
COVIDonto: An Ontology Model for Acquisition and Sharing of COVID-19 Data 2021 Fonou-Dombeu, Jean Vincent
Realisability of Control-State Choreographies 2021 Schewe, Klaus-Dieter
Alle Artikel auflisten