Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
portes grátis
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
Steffen, Bernhard; Margaria, Tiziana
Springer International Publishing AG
10/2022
598
Mole
Inglês
9783031198489
15 a 20 dias
926
Descrição não disponível.
Specify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;computer hardware;computer programming;distributed computer systems;embedded systems;formal languages;formal logic;formal methods;formal verifications;model checking;object-oriented programming;software architecture;software design;software engineering;software quality;verification;verification and validation
Specify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;computer hardware;computer programming;distributed computer systems;embedded systems;formal languages;formal logic;formal methods;formal verifications;model checking;object-oriented programming;software architecture;software design;software engineering;software quality;verification;verification and validation
