Titel

Merkliste
1 Ergebnisse

VeriFog: A Generic Model-based Approach for Verifying Fog S..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Awad, Hiba ; Alidra, Abdelghani ; Bruneliere, Hugo... - p. 1252-1261 , 2024

Link: https://dl.acm.org/doi/10.1145/3605098.3635973

RT 
T1 <cTitle>Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing</cTitle>: T1 <Title>VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3635973&Exemplar=1&LAN=DE
				
A1 Awad, Hiba
A1 Alidra, Abdelghani
A1 Bruneliere, Hugo
A1 Ledoux, Thomas
A1 Leclercq, Etienne
A1 Rivalan, Jonathan
PB ACM
YR 2024
K1 model-based engineering
K1 modeling language
K1 fog computing
K1 verification
K1 non-functional properties
K1 design time
K1 Software and its engineering
K1 Software organization and properties
K1 Software system structures
K1 Software system models
K1 Model-driven software engineering
K1 Software creation and management
K1 Software verification and validation
K1 Computer systems organization
K1 Architectures
K1 Distributed architectures
K1 Cloud computing
SP 1252
OP 1261
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3605098.3635973
DO https://dl.acm.org/doi/10.1145/3605098.3635973
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)