Formal methods reality check: industrial usage

Subjects

Subjects :

Real-time systems -- Research
Software -- Validation
Industrial productivity -- Methods

Details

ISSN :

00985589

Volume :

v21

Issue :

n2

Database :

Gale General OneFile

Journal :

IEEE Transactions on Software Engineering

Publication Type :

Academic Journal

Accession number :

edsgcl.16913934