Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Tonetta, Stefano. (Editor), Schoitsch, Erwin. (Editor), Bitsch, Friedemann. (Editor) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edition: | 1st ed. 2017. |
Series: | Programming and Software Engineering ;
10488 |
Subjects: |
Similar Items
-
Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Published: (2017) -
SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /
Published: (2017) -
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Published: (2017) -
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Published: (2017) -
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /
Published: (2017)