Efficient Verification of Reconfigurable Discrete-Event System using Isabelle/Hol Theorem Prover

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:European Simulation and Modelling Conference (34. : 2020 : Online) Modelling and simulation 2020
1. Verfasser: Soualah, Sohaib (VerfasserIn)
Weitere Verfasser: Khalgui, Mohamed (VerfasserIn), Chaoui, Allaoua (VerfasserIn), Kahloul, Laid (VerfasserIn), Hafidi, Yousra (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
An Event Clustering Method for discovering Switch Silent Transitions in a Class of Petri Nets 2020 García-Uribe, Cristian
OPENMP, Multi-Threaded Libraries for Numerical Linear Algebra and the FMM in an Acceleration of Numerical Solving of the Pies 2020 Kuzelewski, Andrzej
Numerical Modelling of Diffraction by a Strip with Different Surface Impedances 2020 Emets, Volodymyr
Application of Time-Universal Codes to Time Series Forecasting 2020 Chirikhin, Konstantin
Using Multilevel Random Coefficient Models to Analyze ordinal Responses 2020 Camilleri, Liberato
A Predictive Risk Model based on Social Network Analysis 2020 Nunes, Marco
Efficient Verification of Reconfigurable Discrete-Event System using Isabelle/Hol Theorem Prover 2020 Soualah, Sohaib
Comparison of Material Flow Models and Acceleration of the Macroscopic Flow Model for Virtual Commissioning 2020 Kienzlen, Annika
A Conceptual Framework for the Integration of Assembly Line Feeding and Route Building 2020 Adenipekun, Ebenezer O.
Warehouse Model for Interaction Planning of Mobile Robots 2020 Grzeiszczak, Tomasz
Simulation of Slowly Varying Oscillations in Cold Rolling Mills 2020 Ettler, Pavel
Fractional Control System Simulation to Modernize a Locomotive Dual-Fuel Engine 2020 Ivaschenko, Anton
Web-Based Intelligent Knowledge-Based Energy Retrofit Recommendation System 2020 Morris, Gavin
A Hybrid Strategy for Mixed Integer Bi-Level Optimization applied to Hydrogen Energy Supply Chain Management 2020 Flores-Perez, Jose Manuel
New Optimisation Model for Operating Room scheduling: Case Study 2020 Belhor, Mariem
Towards the Modelling of the Concentrated State of Learners. An Intra-Subject Modelling Approach 2020 Serrano-Mamolar, Ana
Social Tension Detection on Social Media Textual Data: A Literature Review 2020 Jamil, Nurul Syafidah
Monte Carlo Simulation of Interstate War from 1816 to 2007 2020 Standley, Vaughn H.
War Games, Simulation and CI Tools for Strategic Planning 2020 Najgebauer, Andrzej
Managing and Mitigating the Asteroid Threat 2020 Conley, William
Alle Artikel auflisten