Engineering methods and tools for software safety and security /
Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
©2009.
|
Colección: | NATO science for peace and security series. Information and communication security ;
v. 22. |
Temas: | |
Acceso en línea: | Texto completo |