Formal Methods and Software Engineering

Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Ong, Luke; Duan, Zhenhua

Springer International Publishing AG

10/2017

498

Mole

Inglês

9783319686899

15 a 20 dias

7723

Descrição não disponível.

Veri?cation and validation.- Software engineering.- Formal speci?cation and modeling.- Software security.- Software reliability.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

software engineering;verification;validation;formal specification and modeling;software security;software reliability