Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 7 days ago
-physical interactions between aerodynamics, propulsion, structures and materials. The systematic verification and validation of these models allows to integrate CFD in the certification process, reducing our
-
approach in the surgical management of brain tumors involves the intraoperative injection of a radiotracer. This tracer selectively binds to tumor tissue, enabling verification of surgical margins. The tumor
-
hardware design and verification (HDL: VHDL/Verilog, simulation tools). · Hands-on experience with FPGA prototyping or hardware/software co-design is highly desirable. · Good communication
-
Laboratoire National de Métrologie et d'Essais - LNE | Paris 15, le de France | France | 2 months ago
of the ground truth, for example from tactile probing systems, allows the evaluation of completeness and accuracy of respective software analyses. At least three verification datasets for the three different use
-
the Software Security Domain. In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022) (pp. 2-6). IEEE. [6] Hachem, J. E., Chiprianov, V., Babar, M. A., Khalil, T
-
the Software Security Domain. In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022) (pp. 2-6). IEEE. [6] Hachem, J. E., Chiprianov, V., Babar, M. A., Khalil, T
-
-source modeling and verification environment based on UML/SysML. This software is used to quickly explore the design space and test different architectural solutions. Finally, LabSoC collaborates with
-
/10.36227/techrxiv.175037181.12992346?… ; [5] Enoiu, E. P., Truscan, D., Sadovykh, A., & Mallouli, W. (2023, August). VeriDevOps software methodology: security verification and validation for DevOps practices
-
/10.36227/techrxiv.175037181.12992346?… ; [5] Enoiu, E. P., Truscan, D., Sadovykh, A., & Mallouli, W. (2023, August). VeriDevOps software methodology: security verification and validation for DevOps practices
-
). - Literature review and getting familiar with software tools and numerical structural models used for risk assessment of nuclear installations (the structural numerical models for this work as well as hazard