Titel

Merkliste
1 Ergebnisse

A comprehensive framework for the analysis of automotive sy..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Cimatti, Alessandro ; Corfini, Sara ; Cristoforetti, Luca... - p. 379-389 , 2022

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

RT 
T1 <cTitle>Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems</cTitle>: T1 <Title>A comprehensive framework for the analysis of automotive systems</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3552408&Exemplar=1&LAN=DE
				
A1 Cimatti, Alessandro
A1 Corfini, Sara
A1 Cristoforetti, Luca
A1 Di Natale, Marco
A1 Griggio, Alberto
A1 Puri, Stefano
A1 Tonetta, Stefano
PB ACM
YR 2022
K1 AUTOSAR SW systems
K1 formal verification
K1 model-based development
K1 timing analysis
K1 Computing methodologies
K1 Modeling and simulation
K1 Model development and analysis
K1 Model verification and validation
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Embedded systems
K1 Embedded software
SP 379
OP 389
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3550355.3552408
DO https://dl.acm.org/doi/10.1145/3550355.3552408
SF ELIB - SuUB Bremen

Export

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