updating references in root.bib
ci/woodpecker/push/build Pipeline was successful
Details
ci/woodpecker/push/build Pipeline was successful
Details
This commit is contained in:
parent
681b8f828d
commit
aa6d11f73c
|
@ -36,6 +36,40 @@
|
||||||
bibsource = {dblp computer science bibliography, https://dblp.org}
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@inproceedings{MendilASMP21,
|
||||||
|
author = {Isma{\"{\i}}l Mendil and
|
||||||
|
Yamine A{\"{\i}}t-Ameur and
|
||||||
|
Neeraj Kumar Singh and
|
||||||
|
Dominique M{\'{e}}ry and
|
||||||
|
Philippe A. Palanque},
|
||||||
|
title = {Standard Conformance-by-Construction with Event-B},
|
||||||
|
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
|
||||||
|
Conference, {FMICS}, Paris, France},
|
||||||
|
series = {LNCS},
|
||||||
|
volume = {12863},
|
||||||
|
pages = {126--146},
|
||||||
|
publisher = {Springer},
|
||||||
|
year = {2021},
|
||||||
|
doi = {10.1007/978-3-030-85248-1\_8}
|
||||||
|
}
|
||||||
|
|
||||||
|
@inproceedings{FotsoFLM18,
|
||||||
|
author = {Steve Jeffrey Tueno Fotso and
|
||||||
|
Marc Frappier and
|
||||||
|
R{\'{e}}gine Laleau and
|
||||||
|
Amel Mammar},
|
||||||
|
title = {Modeling the Hybrid {ERTMS/ETCS} Level 3 Standard Using a Formal Requirements
|
||||||
|
Engineering Approach},
|
||||||
|
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
|
||||||
|
Conference, {ABZ}, Southampton, UK},
|
||||||
|
series = {LLNCS},
|
||||||
|
volume = {10817},
|
||||||
|
pages = {262--276},
|
||||||
|
publisher = {Springer},
|
||||||
|
year = {2018},
|
||||||
|
doi = {10.1007/978-3-319-91271-4\_18}
|
||||||
|
}
|
||||||
|
|
||||||
@MISC{atl,
|
@MISC{atl,
|
||||||
title = {ATL - A model transformation technology},
|
title = {ATL - A model transformation technology},
|
||||||
note={\url{https://www.eclipse.org/atl/}},
|
note={\url{https://www.eclipse.org/atl/}},
|
||||||
|
|
Loading…
Reference in New Issue