Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Software Engineering and Formal Methods. SEFM 2015 collocated workshops

ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers
: Bianculli, D.; Calinescu, R.; Rumpe, B.

Berlin: Springer, 2015, XXIX, 323 pp. : Ill.
Lecture Notes in Computer Science, 9509
International Conference on Software Engineering and Formal Methods (SEFM) <13, 2015, York>
Workshop on Automating Test Case Design, Selection and Evaluation (ATSE) <6, 2015, York>
Human-oriented Formal Methods Workshop (HOFM) <2, 2015, York>
International Symposium on Modeling and Knowledge Management Applications - Systems and Domains (MoKMaSD) <4, 2015, York>
International Workshop on the Art of Service Composition and Formal Verification for Self-System (VERY SCART) <1, 2015, York>
ISBN: 978-3-662-49223-9 (print)
ISBN: 3-662-49223-7 (print)
ISBN: 978-3-662-49224-6 (eBook)
Conference Proceedings
Fraunhofer FIT ()