Aplikasi Tandatangan Digital dalam Proses Verifikasi dan Validasi Sertifikat Covid-19 by Yulia Fatma, Evans Fuad, - Soni, - Agusriadi

Subjects: “…digital signature, rsa, sha, covid-19, verification, validation…”
Get full text

INVESTIGATION AND ANALYSIS OF AUTOMATIC TESTING SYSTEMS OF APPLICATIONS by A. Antonova, A. Proydenko, A. Bodnia

Subjects: “…tests, software, testing, verification, validation, automated testing system…”
Get full text

Numerical Simulation and Experimental Validation of the Inflation Test of Latex Balloons by Claudio Bustos, Claudio García Herrera, Diego Celentano, Daming Chen, Marcela Cruchaga

Subjects: Get full text

Design and Developmental Research on the VV&A of Complex Simulation System by Liu Li, Li Yan Bin, Wu Da, Zhang Lin, Wang Ning

Subjects: Get full text

USING A META-LANGUAGE TO BRIDGE THE GAP BETWEEN NATURAL LANGUAGES AND COMPUTER LANGUAGES by Selin Temizer

Subjects: Get full text

Monitoring-supported value generation for managing structures and infrastructure systems by Antonios Kamariotis, Eleni Chatzi, Daniel Straub, Nikolaos Dervilis, Kai Goebel, Aidan J. Hughes, Geert Lombaert, Costas Papadimitriou, Konstantinos G. Papakonstantinou, Matteo Pozzi, Michael Todd, Keith Worden

Subjects: Get full text

VeVaPy, a Python Platform for Efficient Verification and Validation of Systems Biology Models with Demonstrations Using Hypothalamic-Pituitary-Adrenal Axis Models by Christopher Parker, Erik Nelson, Tongli Zhang

Subjects: Get full text

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems by Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand

Subjects: Get full text

Towards verifiable cancer digital twins: tissue level modeling protocol for precision medicine by Sharvari Kemkar, Mengdi Tao, Alokendra Ghosh, Georgios Stamatakos, Norbert Graf, Kunal Poorey, Uma Balakrishnan, Uma Balakrishnan, Nathaniel Trask, Ravi Radhakrishnan, Ravi Radhakrishnan

Subjects: Get full text

Open source implementations of numerical algorithms for computing the complete elliptic integral of the first kind by Hong-Yan Zhang, Wen-Juan Jiang

Subjects: Get full text

KAMERA HATA ENJEKSİYON ARACI İLE KAMERA TABANLI ROBOTİK DENETLEME SİSTEMİNİN DOĞRULANMASI VE ONAYLANMASI by Uğur Yayan, Alim Kerem Erdoğmuş

Subjects: Get full text