BibTeX record books/sp/10/CortierBBBDFGOPRST10

• > Home > books/sp/10/CortierBBBDFGOPRST10

@incollection{DBLP:books/sp/10/CortierBBBDFGOPRST10,
  author       = {Alexandre Cortier and
                  Lo{\"{\i}}c Besnard and
                  Jean{-}Paul Bodeveix and
                  J{\'{e}}r{\'{e}}my Buisson and
                  Fabien Dagnat and
                  Mamoun Filali and
                  G{\'{e}}rald Garcia and
                  Julien Ouy and
                  Marc Pantel and
                  Ana{-}Elena Rugina and
                  Martin Strecker and
                  Jean{-}Pierre Talpin},
  editor       = {Sandeep Kumar Shukla and
                  Jean{-}Pierre Talpin},
  title        = {Synoptic: {A} Domain-Specific Modeling Language for Space On-board
                  Application Software},
  booktitle    = {Synthesis of Embedded Software - Frameworks and Methodologies for
                  Correctness by Construction},
  pages        = {79--119},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-1-4419-6400-7\_3},
  doi          = {10.1007/978-1-4419-6400-7\_3},
  timestamp    = {Thu, 09 Mar 2023 17:43:24 +0100},
  biburl       = {https://dblp.org/rec/books/sp/10/CortierBBBDFGOPRST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}