Performance Evaluation of Software using Formal Methods

1
Akinsola, Jide E. T.
Akinsola, Jide E. T.
2
Akinsola
Akinsola
3
Jide E. T.
Jide E. T.
4
Kuyoro
Kuyoro
5
Afolashade
Afolashade
7
Adeagbo
Adeagbo
8
Moruf A.
Moruf A.
9
Awoseyi
Awoseyi
10
Ayomikun A.
Ayomikun A.

Send Message

To: Author

GJCST Volume 20 Issue C1

Article Fingerprint

ReserarchID

CSTSDEDOO0S

Performance Evaluation of Software using Formal Methods Banner
  • English
  • Afrikaans
  • Albanian
  • Amharic
  • Arabic
  • Armenian
  • Azerbaijani
  • Basque
  • Belarusian
  • Bengali
  • Bosnian
  • Bulgarian
  • Catalan
  • Cebuano
  • Chichewa
  • Chinese (Simplified)
  • Chinese (Traditional)
  • Corsican
  • Croatian
  • Czech
  • Danish
  • Dutch
  • Esperanto
  • Estonian
  • Filipino
  • Finnish
  • French
  • Frisian
  • Galician
  • Georgian
  • German
  • Greek
  • Gujarati
  • Haitian Creole
  • Hausa
  • Hawaiian
  • Hebrew
  • Hindi
  • Hmong
  • Hungarian
  • Icelandic
  • Igbo
  • Indonesian
  • Irish
  • Italian
  • Japanese
  • Javanese
  • Kannada
  • Kazakh
  • Khmer
  • Korean
  • Kurdish (Kurmanji)
  • Kyrgyz
  • Lao
  • Latin
  • Latvian
  • Lithuanian
  • Luxembourgish
  • Macedonian
  • Malagasy
  • Malay
  • Malayalam
  • Maltese
  • Maori
  • Marathi
  • Mongolian
  • Myanmar (Burmese)
  • Nepali
  • Norwegian
  • Pashto
  • Persian
  • Polish
  • Portuguese
  • Punjabi
  • Romanian
  • Russian
  • Samoan
  • Scots Gaelic
  • Serbian
  • Sesotho
  • Shona
  • Sindhi
  • Sinhala
  • Slovak
  • Slovenian
  • Somali
  • Spanish
  • Sundanese
  • Swahili
  • Swedish
  • Tajik
  • Tamil
  • Telugu
  • Thai
  • Turkish
  • Ukrainian
  • Urdu
  • Uzbek
  • Vietnamese
  • Welsh
  • Xhosa
  • Yiddish
  • Yoruba
  • Zulu

Abstract not found

Funding

No external funding was declared for this work.

Conflict of Interest

The authors declare no conflict of interest.

Ethical Approval

No ethics committee approval was required for this article type.

Data Availability

Not applicable for this article.

Akinsola, Jide E. T.. 2020. \u201cPerformance Evaluation of Software using Formal Methods\u201d. Global Journal of Computer Science and Technology - C: Software & Data Engineering GJCST-C Volume 20 (GJCST Volume 20 Issue C1): .

Download Citation

Issue Cover
GJCST Volume 20 Issue C1
Pg. 17- 23
Journal Specifications

Crossref Journal DOI 10.17406/gjcst

Print ISSN 0975-4350

e-ISSN 0975-4172

Keywords
Classification
GJCST-C Classification: D.2.m
Version of record

v1.2

Issue date

July 16, 2020

Language

English

Experiance in AR

The methods for personal identification and authentication are no exception.

Read in 3D

The methods for personal identification and authentication are no exception.

Article Matrices
Total Views: 4804
Total Downloads: 1210
2026 Trends
Research Identity (RIN)
Related Research

Published Article

Abstract not found

Our website is actively being updated, and changes may occur frequently. Please clear your browser cache if needed. For feedback or error reporting, please email [email protected]
×

This Page is Under Development

We are currently updating this article page for a better experience.

Request Access

Please fill out the form below to request access to this research paper. Your request will be reviewed by the editorial or author team.
X

Quote and Order Details

Contact Person

Invoice Address

Notes or Comments

This is the heading

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

High-quality academic research articles on global topics and journals.

Performance Evaluation of Software using Formal Methods

Akinsola
Akinsola
Jide E. T.
Jide E. T.
Kuyoro
Kuyoro
Afolashade
Afolashade
O.
O.
Adeagbo
Adeagbo
Moruf A.
Moruf A.
Awoseyi
Awoseyi
Ayomikun A.
Ayomikun A.

Research Journals