From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

H-Switch Cover: a new test criterion to generate test case from finite state machines., , и . Softw. Qual. J., 25 (2): 373-405 (2017)Verificação e Validação na terceirização de software embarcado em aplicações espaciais., , , , и . SBQS, стр. 367-374. SBC, (2006)Classification of the water volume of dams using heterogeneous remote sensing images through a deep convolutional neural network., , , , и . GEOINFO, стр. 179-188. MCTIC/INPE, (2021)A High-Spatial Resolution Dataset and Few-shot Deep Learning Benchmark for Image Classification., , , , , и . SIBGRAPI, стр. 19-24. IEEE, (2022)Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems., и . ICCSA (6), том 10409 из Lecture Notes in Computer Science, стр. 160-175. Springer, (2017)Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking., и . ICCSA (4), том 12952 из Lecture Notes in Computer Science, стр. 465-480. Springer, (2021)A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections., , и . ICCSA (5), том 10408 из Lecture Notes in Computer Science, стр. 591-606. Springer, (2017)Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking., , , и . ICCSA (4), том 9158 из Lecture Notes in Computer Science, стр. 612-627. Springer, (2015)Multiperspective Web Testing Supported by a Generation Hyper-Heuristic., и . ICCSA (Workshops 5), том 13381 из Lecture Notes in Computer Science, стр. 447-462. Springer, (2022)Test Case Generation for Critical Systems through a Collaborative Web-Based Tool., , , и . CIMCA/IAWTIC/ISE, стр. 163-168. IEEE Computer Society, (2008)