Model and data engineering 12th international conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023 : proceedings

Modelling.- A Comparative Analysis of Time Series Prediction Techniques -A Systematic Literature Review (SLR).- A Formal Metamodel with Composite Components.- A floating-point numbers theory for Event-B.- Model based testing approach for EIP-1559 Ethereum Smart contracts.- Execution planning in aggr...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Model and Data Engineering (VerfasserIn)
Weitere Verfasser: Mosbah, Mohamed (HerausgeberIn), Kechadi, Tahar (HerausgeberIn), Bellatreche, Ladjel (HerausgeberIn), Gargouri, Faiez (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2024
Schriftenreihe:Lecture notes in computer science 14396
Schlagworte:
Online Zugang:Cover
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!