Firmware vulnerability analysis based on formal verification of software and hardware by Peng-hui ZHANG, Xi TIAN, Kang-wei LOU

Subjects: Get full text

Environmental education as a priority in education of a contemporary man by Elżbieta Buchcic

Subjects: Get full text

Análisis de los cambios de la población masculina en el sector formal e informal urbano de México by Luis Huesca Reynoso

Subjects: Get full text

A Critique on the Book Managerial Movements in Public Sector (Past, Present and Future) by Mehdi Golverdi

Subjects: Get full text

Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach by Zhi-geng HAN, Geng CHEN, Jun-zhou LUO

Subjects: “…formal analysis…”
Get full text

La reconnaissance académique de l’engagement bénévole des étudiants  by Julie Testi

Subjects: Get full text

“Colônia com ciência”: a colônia de férias como estratégia de ensino de ciências e formação docente by Mara Garcia TAVARES, João Marcos ARAÚJO, Natália Martins TRAVENZOLI

Subjects: Get full text

Determinants of Shea Nut Marketing Arrangements in Northern Uganda. by Akatwetaba, Deborah, Okello Daniel, Micheal, Kasharu, Apollo, Egeru, Anthony, Mugonola, Basil

Subjects: Get full text

GUÍA PARA LOS MODELOS MULTISECTORIALES DEL MERCADO DE TRABAJO EN LOS PAÍSES EN DESARROLLO by Gary S. Fields

Subjects: “…mercado de trabajo formal e informal…”
Get full text

Affective-sexual and gender diversity in Spanish education: a systematic literature review by Delfín Ortega-Sánchez, Esther Sanz de la Cal, Jaime Ibáñez Quintana, Eduardo Encabo-Fernández

Subjects: Get full text

Exploring the Status of Voiceless Labiovelar Fricative /ʍ/ in Contemporary American English by Dominika Walczak

Subjects: Get full text

MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems by Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

Subjects: Get full text

Analysis and improvement of the BACnet/IP based on identity authentication by Pengshou XIE, Jiafeng ZHU, Yongping KANG, Tao FENG, Wei LI, Yuxiang RAN

Subjects: Get full text

Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

Subjects: Get full text

Formação profissional e a relação com a sucessão geracional entre jovens rurais, Brasil by Raquel Breitenbach, Graziela Corazza

Subjects: Get full text

Requirements engineering for crossover services: Issues, challenges and research directions by Zhengli Liu, Bing Li, Jian Wang, Rong Yang

Subjects: “…formal specification…”
Get full text

The effectiveness of a 3D interactive learning environment as a mechanism for sharing and retaining knowledge by SH. Ye, P. Onpium, F. Ying

Subjects: Get full text

Recognition of Qualifications Obtained as a Result of Non-Formal and Informal Learning: Foreign Experience and Prospects for Russian Practice by A. I. Satdykov, B. A. Sazonov

Subjects: Get full text

Android complex information flow analysis method based on communicating sequential process by Zhanhui YUAN, Zhi YANG, Hongqi ZHANG, Shuyuan JIN, Xuehui DU

Subjects: Get full text

A Critique of the Book the History of Arabic Literature in Hadith Era by Mohsen Seifi, Bahare Samadi

Subjects: Get full text