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

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

Keywords

computer systems
computers
design
digital electronics
electronic systems
methodology

Disciplines

Business
Management Information Systems
Operations and Supply Chain Management

Access to Document

10.1145/1247001.1247007

Cite this

@article{f285c26ce443476e99cad71fd9fb71e5,

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

keywords = "computer systems, computers, design, digital electronics, electronic systems, methodology",

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

KW - computer systems

KW - computers

KW - design

KW - digital electronics

KW - electronic systems

KW - methodology

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

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

UR - https://corescholar.libraries.wright.edu/infosys_scm/126

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

Keywords

Disciplines

Access to Document

Other files and links

Cite this