[Technikzukünfte, Wissenschaft und Gesellschaft / Futures of Technology, Science and Society] Futures, Visions, and Responsibility || A Humanist Ethics of Innovation
- 作者Sand, Martin
- 文件大小496.13KB
- 发表时间2018
- DOI10.1007/978-3-658-22684-8_2
- 页码5-46
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 ||Johnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Formal Methods for Executable Software Models Volume 8483 ||Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina · 2014
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Cross-Architecture Lifter SynthesisJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || We Need a Testability Transformation SemanticsJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Counterexample Simplification for Liveness Property ViolationJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Monte Carlo Tree Search for Finding Costly Paths in ProgramsJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Bridging the Gap Between Informal Requirements and Formal Specifications Using Model FederationJohnsen, Einar Broch; Schaefer, Ina · 2018