Stefan Hallerstede - Wissenschaftliche Veröffentlichungen

(1 - 18 von 20

)

dblp: Stefan Hallerstede

dblp.uni-trier.de

List of computer science publications by Stefan Hallerstede

Stefan Hallerstede - dblpdblp.org › Persons

dblp.org

Stefan Hallerstede: Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL - Springer Verlag, 2014, x + 289 pp, € 63, 29 (Hardback), ISBN ...

dblp: BibTeX records: Peter Gorm Larsen

dblp.uni-trier.de

List of computer science publications by BibTeX records: Peter Gorm Larsen

Team | ABZ 2020

abz2020.uni-ulm.de

Information about program committee, conference chairs, case study chairs, and organization team.

dblp: BibTeX records: Holger Hermanns

dblp.uni-trier.de

List of computer science publications by BibTeX records: Holger Hermanns

dblp: Michael Jastram

dblp.uni-trier.de

List of computer science publications by Michael Jastram

Stefan Hallerstede, Finn Overgaard Hansen, Jon Holt, Rasmus Lauritsen, Lasse Lorenzen and Jan Peleska: Technical Challenges of SoS Requirements Engineering. In Proceedings of the 7th International Conference on System of Systems Engineering, IEEE SoSE 2012, volume 6 of IEEE Systems Journal, pages , July

Search results for "Daniel Plagge" – FacetedDBLP

dblp.l3s.uni-hannover.de

Found 10 publication records. Showing 10 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Stefan Hallerstede

dblp: Jean-Raymond Abrial

dblp.org

List of computer science publications by Jean-Raymond Abrial

dblp: Thai Son Hoang

dblp.org

List of computer science publications by Thai Son Hoang

Mixing Formal and Informal Model Elements for Tracing Requirementsjournal.ub.tu-berlin.de › eceasst › article › view

journal.ub.tu-berlin.de

Mixing Formal and Informal Model Elements for Tracing Requirements. Michael Jastram, Stefan Hallerstede, Lukas Ladenberger. Abstract. Tracing between informal ...

Mixing Formal and Informal Model Elements for Tracing ...

journal.ub.tu-berlin.de

von M Jastram · · Zitiert von: 18 — Mixing Formal and Informal Model Elements for Tracing Requirements. Michael Jastram, Stefan Hallerstede, Lukas Ladenberger ... › view

Workshop: Applications of Formal Methods and Digital Twinsfm2023.isp.uni-luebeck.de › index.php › workshop...

fm2023.isp.uni-luebeck.de

Program Committee. Stefan Hallerstede, Aarhus University, DK, co-chair; Eduard Kamburjan, University of Oslo, NO, co-chair; Stylianos Basagiannis, Collins ...

[PDF] Community-basierte Open Innovation von der Suche bis zur ...leopard.tu-braunschweig.de › dbbs_derivate_ › Beitrag137

leopard.tu-braunschweig.de

Stefan Hallerstede, Angelika C. Bullinger, Kathrin M. Möslein. Die Relevanz dieser Integration externer Innovatoren wird durch die veröffentlichte ...