Search dblp for Publications

export results for "toc:db/books/collections/RT2013.bht:"

 download as .bib file

@incollection{DBLP:books/daglib/p/BasinH13,
  author       = {David A. Basin and
                  Thai Son Hoang},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Technology Transfer},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {187--196},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_13},
  doi          = {10.1007/978-3-642-33170-1\_13},
  timestamp    = {Mon, 05 Feb 2024 20:35:54 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/BasinH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/ButlerVM13,
  author       = {Michael J. Butler and
                  Laurent Voisin and
                  Thomas Muller},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Tooling},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {157--185},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_12},
  doi          = {10.1007/978-3-642-33170-1\_12},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/ButlerVM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/FalampinLLMP13,
  author       = {J{\'{e}}r{\^{o}}me Falampin and
                  Hung Le{-}Dang and
                  Michael Leuschel and
                  Mikael Mokrani and
                  Daniel Plagge},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Improving Railway Data Validation with ProB},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {27--43},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_4},
  doi          = {10.1007/978-3-642-33170-1\_4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/FalampinLLMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/FitzgeraldBLW13,
  author       = {John S. Fitzgerald and
                  Juan Bicarregui and
                  Peter Gorm Larsen and
                  Jim Woodcock},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Industrial Deployment of Formal Methods: Trends and Challenges},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {123--143},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_10},
  doi          = {10.1007/978-3-642-33170-1\_10},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/FitzgeraldBLW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/GmehlichJ13,
  author       = {Rainer Gmehlich and
                  Cliff B. Jones},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Experience of Deployment in the Automotive Industry},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_3},
  doi          = {10.1007/978-3-642-33170-1\_3},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/GmehlichJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/HillRC13,
  author       = {Alex Hill and
                  Jose Reis and
                  Paulo Carvalho},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Critical Software Technologies' Experience with Formal Methods},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {97--105},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_8},
  doi          = {10.1007/978-3-642-33170-1\_8},
  timestamp    = {Fri, 25 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/HillRC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/IlicLLTV13,
  author       = {Dubravka Ilic and
                  Linas Laibinis and
                  Timo Latvala and
                  Elena Troubitsyna and
                  Kimmo Varpaaniemi},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Deployment in the Space Sector},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {45--62},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_5},
  doi          = {10.1007/978-3-642-33170-1\_5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/IlicLLTV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Romanovsky13,
  author       = {Alexander B. Romanovsky},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Integrated Project {DEPLOY}},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {5--12},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_2},
  doi          = {10.1007/978-3-642-33170-1\_2},
  timestamp    = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/Romanovsky13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Romanovsky13a,
  author       = {Alexander B. Romanovsky},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {After and Outside {DEPLOY:} The {DEPLOY} Ecosystem},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {197--202},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_14},
  doi          = {10.1007/978-3-642-33170-1\_14},
  timestamp    = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/Romanovsky13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/RomanovskyT13,
  author       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Introduction},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_1},
  doi          = {10.1007/978-3-642-33170-1\_1},
  timestamp    = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/RomanovskyT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/Russo13,
  author       = {Aryldo G. Russo Jr.},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Formal Methods as an Improvement Tool},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {81--95},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_7},
  doi          = {10.1007/978-3-642-33170-1\_7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/Russo13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/ThomasR13,
  author       = {Martyn Thomas and
                  Alexander B. Romanovsky},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Introducing Formal Methods into Existing Industrial Practices},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_11},
  doi          = {10.1007/978-3-642-33170-1\_11},
  timestamp    = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/ThomasR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/ThomasR13a,
  author       = {Martyn Thomas and
                  Alexander B. Romanovsky},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Industrial Software Engineering and Formal Methods},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {203--210},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_15},
  doi          = {10.1007/978-3-642-33170-1\_15},
  timestamp    = {Thu, 22 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/ThomasR13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/WieczorekKWRS13,
  author       = {Sebastian Wieczorek and
                  Vitaly Kozyura and
                  Wei Wei and
                  Andreas Roth and
                  Alin Stefanescu},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Business Information Sector},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {63--79},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_6},
  doi          = {10.1007/978-3-642-33170-1\_6},
  timestamp    = {Thu, 28 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/p/WieczorekKWRS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/daglib/p/WrightE13,
  author       = {Stephen Wright and
                  Kerstin Eder},
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Experience of Deploying Event-B in Industrial Microprocessor Development},
  booktitle    = {Industrial Deployment of System Engineering Methods},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1\_9},
  doi          = {10.1007/978-3-642-33170-1\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/WrightE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0032363,
  editor       = {Alexander B. Romanovsky and
                  Martyn Thomas},
  title        = {Industrial Deployment of System Engineering Methods},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-33170-1},
  doi          = {10.1007/978-3-642-33170-1},
  isbn         = {978-3-642-33169-5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0032363.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.