Formal methods, techniques and tools for secure and reliable applications

Ahmed Patel

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)439-443
Number of pages5
JournalComputer Standards and Interfaces
Volume27
Issue number5
DOIs
Publication statusPublished - Jun 2005
Externally publishedYes

Fingerprint

Formal methods

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Software
  • Information Systems and Management

Cite this

Formal methods, techniques and tools for secure and reliable applications. / Patel, Ahmed.

In: Computer Standards and Interfaces, Vol. 27, No. 5, 06.2005, p. 439-443.

Research output: Contribution to journalArticle

@article{382ddd9e159d47ec8c72b1b5441f6f86,
title = "Formal methods, techniques and tools for secure and reliable applications",
author = "Ahmed Patel",
year = "2005",
month = "6",
doi = "10.1016/j.csi.2005.01.002",
language = "English",
volume = "27",
pages = "439--443",
journal = "Computer Standards and Interfaces",
issn = "0920-5489",
publisher = "Elsevier",
number = "5",

}

TY - JOUR

T1 - Formal methods, techniques and tools for secure and reliable applications

AU - Patel, Ahmed

PY - 2005/6

Y1 - 2005/6

UR - http://www.scopus.com/inward/record.url?scp=17744379165&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=17744379165&partnerID=8YFLogxK

U2 - 10.1016/j.csi.2005.01.002

DO - 10.1016/j.csi.2005.01.002

M3 - Article

VL - 27

SP - 439

EP - 443

JO - Computer Standards and Interfaces

JF - Computer Standards and Interfaces

SN - 0920-5489

IS - 5

ER -