Formal Method - Articles - Scientific Research Publishing

Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3，October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,255 Downloads 10,801 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11，November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,351 Downloads 16,374 Views Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak (Articles)

Edwin Mit, Ng Bong Ding, Cheah Wai Shiang

Journal of Software Engineering and Applications Vol.7 No.8，July 25, 2014

DOI: 10.4236/jsea.2014.78067 3,004 Downloads 4,021 Views Citations
Survey of Smart Contract Technology and Application Based on Blockchain (Articles)

Somboun Tern

Open Journal of Applied Sciences Vol.11 No.10，October 29, 2021

DOI: 10.4236/ojapps.2021.1110085 674 Downloads 3,297 Views Citations
Systematic Method for Constructing Lewis Representations (Articles)

Lahbib Abbas, Lahcen Bih, Khalid Yamni, Abderrahim Elyahyaouy, Abdelmalik El Attaoui, Zahra Ramzi

Open Journal of Inorganic Chemistry Vol.14 No.1，January 31, 2024

DOI: 10.4236/ojic.2024.141001 131 Downloads 439 Views Citations
Performance Improvement of Polyvinyl Formal Based Gel Polymer Electrolyte for Lithium-Ion Batteries by Coating Al₂O₃ (Articles)

Yan Wen, Gaofeng Li, Pingping Zhang, Guohong Xiong

Journal of Applied Mathematics and Physics Vol.4 No.2，February 17, 2016

DOI: 10.4236/jamp.2016.42023 4,378 Downloads 5,837 Views Citations
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,621 Downloads 2,537 Views Citations
This article belongs to the Special Issue on Formal Methods
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78062 8,313 Downloads 10,932 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8，August 19, 2015

DOI: 10.4236/jsea.2015.88037 6,325 Downloads 8,661 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4，November 9, 2022

DOI: 10.4236/cus.2022.104032 240 Downloads 1,311 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,892 Downloads 16,373 Views Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5，May 26, 2021

DOI: 10.4236/jamp.2021.95070 259 Downloads 835 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,514 Downloads 7,846 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2，June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,517 Downloads 4,584 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13，October 19, 2015

DOI: 10.4236/psych.2015.613164 4,267 Downloads 6,128 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11，November 25, 2016

DOI: 10.4236/jss.2016.411007 1,410 Downloads 2,643 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12，December 11, 2017

DOI: 10.4236/me.2017.812098 764 Downloads 1,435 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5，November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,135 Downloads 3,898 Views Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability (Articles)

Francisco Arapiraca dos Santos, Elidinaldo da Silva Leite, Ricardo José Rocha Amorim, Dinani Gomes Amorim

Creative Education Vol.11 No.10，October 23, 2020

DOI: 10.4236/ce.2020.1110150 757 Downloads 2,254 Views Citations
Employment Access and Job Search Channels for Young People in Congo (Articles)

Michel Okiemy, Sylvaniste Etsiba

Theoretical Economics Letters Vol.11 No.2，April 15, 2021

DOI: 10.4236/tel.2021.112021 424 Downloads 1,411 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies