An empirical investigation of the effectiveness of systems modeling and verification tools

Anand Jeyaraj; Vicki L. Sauter

doi:10.1145/1247001.1247007

An empirical investigation of the effectiveness of systems modeling and verification tools

Anand Jeyaraj
, Vicki L. Sauter

Management Information Systems

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	63-67
Number of pages	5
Journal	Communications of the ACM
Volume	50
Issue number	6
DOIs	https://doi.org/10.1145/1247001.1247007
State	Published - Jan 6 2007

ASJC Scopus Subject Areas

General Computer Science

Access to Document

10.1145/1247001.1247007

Cite this

@article{f285c26ce443476e99cad71fd9fb71e5,

title = "An empirical investigation of the effectiveness of systems modeling and verification tools",

author = "Anand Jeyaraj and Sauter, \{Vicki L.\}",

year = "2007",

month = jan,

day = "6",

doi = "10.1145/1247001.1247007",

language = "English",

volume = "50",

pages = "63--67",

journal = "Communications of the ACM",

issn = "0001-0782",

number = "6",

}

TY - JOUR

T1 - An empirical investigation of the effectiveness of systems modeling and verification tools

AU - Jeyaraj, Anand

AU - Sauter, Vicki L.

PY - 2007/1/6

Y1 - 2007/1/6

UR - https://www.scopus.com/pages/publications/34249911449

UR - https://www.scopus.com/pages/publications/34249911449#tab=citedBy

U2 - 10.1145/1247001.1247007

DO - 10.1145/1247001.1247007

M3 - Article

AN - SCOPUS:34249911449

SN - 0001-0782

VL - 50

SP - 63

EP - 67

JO - Communications of the ACM

JF - Communications of the ACM

IS - 6

ER -

An empirical investigation of the effectiveness of systems modeling and verification tools

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this