[Lecture Notes in Computer Science] Pattern Recognition Applications and Methods Volume 10857 ||
- 作者De Marsico, Maria; di Baja, Gabriella Sanniti; Fred, Ana
- 文件大小32746.08KB
- 发表时间2018
- DOI10.1007/978-3-319-93647-5
[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