Guarded Deep Learning using Scenario-based Modeling

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020
1. Verfasser: Katz, Guy (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
Business Process Model Recommendation as a Transformation Process in MDE: Conceptualization and First Experiments 2020 Khider, Hadjer
Determination of ISO 22400 Key Performance Indicators using Simulation Models: The Concept and Methodology 2020 Kikolski, Mateusz
Graph-based Model Inspection Tool for Multi-disciplinary Production Systems Engineering 2020 Rinker, Felix
Defining Controlled Experiments Inside the Access Control Environment 2020 Daoudagh, Said
Classifying Unstructured Models into Metamodels using Multi Layer Perceptrons 2020 Couto, Walmir Oliveira
An Architecture-independent Data Model for Managing Information Generated by Human-chatbot Interactions 2020 Luca, Massimiliano
ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual Model 2020 Hinkelmann, Knut
Refining Automation System Control with MDE 2020 Andre, Pascal
On a Metasemantic Protocol for Modeling Language Extension 2020 Seidewitz, Ed
A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI 2020 Oudart, David
Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems 2020 Iyenghar, Padma
Integer Overflow Detection in Hardware Designs at the Specification Level 2020 Bornebusch, Fritjof
The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering 2020 Jacobitz, Sven
Model Transformation by Example with Statistical Machine Translation 2020 Berramla, Karima
Towards Ontology Driven Provenance in Scientific Workflow Engine 2020 Butt, Anila Sahar
Towards a Model-based Fuzzy Software Quality Metrics 2020 Masmali, Omar
Themulus: A Timed Contract-calculus 2020 García, Alberto Aranda
Automated Synthesis of ATL Transformations from Metamodel Correspondences 2020 Lano, Kevin
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink 2020 Duhil, Christophe
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules 2020 Carrillo, Miguel
Alle Artikel auflisten