Titel

Merkliste
1 Ergebnisse

Verification of railway network models with EVEREST:

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

Martins, João ; Fonseca, José M. ; Costa, Rafael... - p. 345-355 , 2022

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

RT 
T1 <cTitle>Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems</cTitle>: T1 <Title>Verification of railway network models with EVEREST</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3552439&Exemplar=1&LAN=DE
				
A1 Martins, João
A1 Fonseca, José M.
A1 Costa, Rafael
A1 Campos, José C.
A1 Cunha, Alcino
A1 Macedo, Nuno
A1 Oliveira, José N.
PB ACM
YR 2022
K1 formal infrastructure rule specification
K1 railML
K1 railway engineering
K1 railway network model verification
K1 Applied computing
K1 Arts and humanities
K1 Architecture (buildings)
K1 Computer-aided design
K1 Software and its engineering
K1 Software notations and tools
K1 System description languages
K1 Specification languages
K1 Computing methodologies
K1 Modeling and simulation
K1 Model development and analysis
K1 Model verification and validation
SP 345
OP 355
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3550355.3552439
DO https://dl.acm.org/doi/10.1145/3550355.3552439
SF ELIB - SuUB Bremen

Export

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