A Formal Approach Combining Event-B and PDDL for Planning Problems

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICSOFT (16. : 2021 : Online) ICSOFT 2021
1. Verfasser: Ammar, Sabrine (VerfasserIn)
Weitere Verfasser: Bhiri, Mohamed Tahar (VerfasserIn)
Pages:2021
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Big Data integration 2021 Cudre-Mauroux, Philippe
A Meta-model for the Guideline Definition Language 2021 Grangel, Reyes
Designing Operational Safety Procedures for UAV According to NATO Architecture Framework 2021 Stecz, Wojciech
Detection of Security Vulnerabilities Induced by Integer Errors 2021 Kissi, Salim Yahia
Towards a Neural Network based Reliability Prediction Model via Bugs and Changes 2021 Serban, Camelia
IoT Fuzzing using AGAPIA and the River Framework 2021 Stäniloiu, Eduard
A Pragmatic View on Resolving Conflicts in Goal-oriented Requirements Engineering for Socio-technical Systems 2021 Gambo, Ishaya
Object Parsing Grammars with Composition 2021 Sobernig, Stefan
Do the Scaled Agile Practices from SS Help with Quality Requirements Challenges and If So, How Do They Do It? 2021 Alsaqaf, Wasim
A Machine Learning Approach for NDVI Forecasting based on Sentinel-2 Data 2021 Cavalli, Stefano
Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets 2021 Mittal, Rakshit
Safety-based Platoon Driving Simulation with Variable Environmental Conditions 2021 Youngjae, Kim
Edge Detail Analysis of Wear Particles 2021 Laghari, Mohammad Shakeel
Extending DEAP with Active Sampling for Evolutionary Supervised Learning 2021 Hamida, Sana Ben
A Model-Driven Engineering: From Relational Database to Document-oriented Database in Big Data Context 2021 Belkadi, Fatima Zahra
Time and Processes: Towards Engineering Temporal Requirements 2021 Eder, Johann
Tales from the Code #1: The Effective Impact of Code Refactorings on Software Energy Consumption 2021 Ournani, Zakaria
A Meta-level Approach for Multilingual Taint Analysis 2021 Lyons, Damian M.
Refactoring Monolithic Object-Oriented Source Code to Materialize Microservice-oriented Architecture 2021 Zaragoza, Pascal
Neural Networks based Software Development Effort Estimation: A Systematic Mapping Study 2021 Boujida, Fatima Ezzahra
Alle Artikel auflisten