[Lecture Notes in Computer Science] Wireless Algorithms, Systems, and Applications Volume 10874 || Resilient SDN-Based Communication in Vehicular Network
- 作者Chellappan, Sriram; Cheng, Wei; Li, Wei
- 文件大小1059.88KB
- 发表时间2018
- DOI10.1007/978-3-319-94268-1_79
- 页码865-873
[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