[Communications in Computer and Information Science] High Performance Computing Volume 697 ||
- 作者Barrios Hernández, Carlos Jaime; Gitler, Isidoro; Klapp, Jaime
- 文件大小28964.15KB
- 发表时间2017
- DOI10.1007/978-3-319-57972-6
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8997 ||Lanese, Ivan; Madelaine, Eric · 2015
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 ||Kouchnarenko, Olga; Khosravi, Ramtin · 2017
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 9539 ||Braga, Christiano; Ölveczky, Peter Csaba · 2016
[Lecture Notes in Computer Science] Formal Aspects in Security and Trust Volume 5983 ||Degano, Pierpaolo; Guttman, Joshua D. · 2010
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 7684 ||Păsăreanu, Corina S.; Salaün, Gwen · 2013
[Lecture Notes in Computer Science] Formal Aspects of Security and Trust Volume 6561 ||Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua · 2011
Lecture Notes in Computer Science 4691 Formal Aspects in Socurity and Trust Fourth International WorFAST 2006 · Springer-Verlag · 2007
Lecture Notes in Computer Science 3866 Formal Aspects in Socurity and Trust Third International WorkFAST 2006 · Springer-Verlag · 2006
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 ||Kouchnarenko, Olga; Khosravi, Ramtin · 2017
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 || Validated Test Models for Software Product Lines: Featured Finite State MachinesKouchnarenko, Olga; Khosravi, Ramtin · 2017
[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 10231 || Tool Support for Fuzz Testing of Component-Based System Adaptation PoliciesKouchnarenko, Olga; Khosravi, Ramtin · 2017