Formal Verification - Articles - Scientific Research Publishing

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata (Articles)

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Journal of Software Engineering and Applications Vol.9 No.9, September 30, 2016

DOI: 10.4236/jsea.2016.99030 1,741 Downloads 2,949 Views Citations
This article belongs to the Special Issue on Formal Methods
Tenure Security, Land Titles and Access to Formal Finance in Upgraded Informal Settlements: The Case of Dar es Salaam, Tanzania (Articles)

Shaaban A. Sheuya, Marco M. Burra

Current Urban Studies Vol.4 No.4, November 4, 2016

DOI: 10.4236/cus.2016.44029 2,183 Downloads 5,450 Views Citations
Collaborative Intelligence in Smart Cities: A Systematic Review (Articles)

Viviani Kwecko, Silvia S. da C. Botelho

Social Networking Vol.7 No.3, July 24, 2018

DOI: 10.4236/sn.2018.73015 1,087 Downloads 3,188 Views Citations
Formal Financial Credit Constraints and Solutions for Entrepreneurial Farmers (Articles)

Xiaoyan Zhang

Modern Economy Vol.9 No.12, December 27, 2018

DOI: 10.4236/me.2018.912140 904 Downloads 2,510 Views Citations
Concrete Formulation Study for Informal and Semi-Informal Construction Sectors (Articles)

Narcisse Malanda, Paul Louzolo-Kimbembe, Louis Ahouet, Jarlon Brunel Makela, Guy-Richard Mouengue

Open Journal of Civil Engineering Vol.9 No.1, March 29, 2019

DOI: 10.4236/ojce.2019.91005 1,616 Downloads 3,369 Views Citations
Mediatic, Informational and Digital Skills and Competencies in Students from Agricultural Family Schools and Rural Family Home, in the Amazon Biome, Brazil (Articles)

Tércia Zavaglia Torres, Marcia Izabel Fugisawa Souza, Luiz Manoel Silva Cunha, José Ruy Porto de Carvalho, Jaudete Daltio, João Alfredo Carvalho Mangabeira

Creative Education Vol.11 No.8, August 28, 2020

DOI: 10.4236/ce.2020.118107 469 Downloads 1,334 Views Citations
A Mathematical Comparison of the Schwarzschild and Kerr Metrics (Articles)

J.-F. Pommaret

Journal of Modern Physics Vol.11 No.10, October 26, 2020

DOI: 10.4236/jmp.2020.1110104 653 Downloads 1,714 Views Citations
Can Social Donation Increase the R&D Investment of Enterprises?—Analysis from the Perspective of Institutional Environment (Articles)

Mu Xing, Hongmei Zhang

Open Journal of Social Sciences Vol.8 No.12, December 31, 2020

DOI: 10.4236/jss.2020.812035 592 Downloads 1,472 Views Citations
Contributions of the Science Museums for Teacher Education in Brazil (Articles)

Daniela Franco Carvalho

Creative Education Vol.12 No.5, May 28, 2021

DOI: 10.4236/ce.2021.125080 417 Downloads 2,025 Views Citations
This article belongs to the Special Issue on Culture and Education
Inequality in Imagination amongst Marginalised Learners: Teachers Pounding Away with a Hammer (Articles)

Wade Cafun, Labby Ramrathan

Open Journal of Social Sciences Vol.9 No.12, December 21, 2021

DOI: 10.4236/jss.2021.912024 280 Downloads 1,278 Views Citations
This article belongs to the Special Issue on Learning and Education
A Systematic Review of Perception of E-Learning Users in Formal Education during COVID-19 Pandemic (Articles)

Wendy Kulan Anak Igai, Melor Md. Yunus

Creative Education Vol.13 No.6, June 27, 2022

DOI: 10.4236/ce.2022.136123 525 Downloads 2,320 Views Citations
Application and Popularization of Formal Calculation (Articles)

Ji Peng

Open Access Library Journal Vol.9 No.11, November 28, 2022

DOI: 10.4236/oalib.1109483 73 Downloads 901 Views Citations
Relative Ding Projective Modules over Formal Triangular Matrix Rings (Articles)

Hongyan Fan, Xi Tang

Journal of Applied Mathematics and Physics Vol.11 No.6, June 28, 2023

DOI: 10.4236/jamp.2023.116105 209 Downloads 761 Views Citations
A Generic Intelligent Agent Design Approach Based on Artificial Neural Networks (Articles)

Thierry Noulamo, Alain Djimeli-Tsajio, Roger Kameugne, Jean-Pierre Lienou

World Journal of Engineering and Technology Vol.11 No.4, October 7, 2023

DOI: 10.4236/wjet.2023.114046 268 Downloads 1,358 Views Citations
On the Non-Observational Character of Practical Knowledge (Articles)

Guxing Chen

Open Journal of Social Sciences Vol.12 No.3, March 7, 2024

DOI: 10.4236/jss.2024.123001 548 Downloads 1,527 Views Citations
The “Lost Cause Myth” and Its Representation in Cinema (Articles)

Colin K. Touhy

Open Journal of Social Sciences Vol.12 No.3, March 13, 2024

DOI: 10.4236/jss.2024.123007 282 Downloads 2,052 Views Citations
Food Hygiene and Safety Practices amongst Food Vendors in the Western Area, Sierra Leone (Articles)

Philip John Kanu, Hamid Turay

Food and Nutrition Sciences Vol.15 No.6, June 26, 2024

DOI: 10.4236/fns.2024.156028 425 Downloads 5,217 Views Citations
Formal and Informal Social Support and Teacher’s Growth after Being Exposed to Violence Against Them (Articles)

Shiran German Ben-Hayun, Leehu Zysberg

Psychology Vol.15 No.11, November 29, 2024

DOI: 10.4236/psych.2024.1511104 141 Downloads 917 Views Citations
Collective Strength: The Role of Self-Help Groups in Enhancing the Livelihoods of Women Waste Pickers. Case Study: “Recyclage Solidaire” Douala, Cameroon (Articles)

Sophie Ebot Agborabang, Akemi Ori

Open Journal of Social Sciences Vol.13 No.1, January 26, 2025

DOI: 10.4236/jss.2025.131021 133 Downloads 651 Views Citations
Electromagnetism and Gravitation: A Conformal Jigsaw Puzzle (Articles)

Jean-Francois Pommaret

Journal of Modern Physics Vol.16 No.9, September 24, 2025

DOI: 10.4236/jmp.2025.169067 85 Downloads 409 Views Citations
This article belongs to the Special Issue on Gravitation, Astrophysics and Cosmology

First <...789 >Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies