From aa6d11f73c0b5d1e414bde8c743293415a0011cf Mon Sep 17 00:00:00 2001 From: Idir AIT SADOUNE Date: Tue, 19 Apr 2022 00:35:04 +0200 Subject: [PATCH] updating references in root.bib --- .../2021-ITP-PMTI/document/root.bib | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib b/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib index a3c981a..b685ec2 100644 --- a/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib +++ b/examples/scholarly_paper/2021-ITP-PMTI/document/root.bib @@ -36,6 +36,40 @@ 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, title = {ATL - A model transformation technology}, note={\url{https://www.eclipse.org/atl/}},