Testing software requirements with Z and statecharts applied to an embedded control system

Journal article

Peer reviewed

Software Quality Journal, Vol.12(3), pp.231-264

2004

Files and links (1)

url

http://ws.isiknowledge.com/cps/openurl/service?url_ver=Z39.88-2004&rft_id=info:ut/000222611600004View

1 Record Views

Title: Testing software requirements with Z and statecharts applied to an embedded control system
Creators: Frederick T Sheldon - Oak Ridge National Laboratory
Hye Yeon Kim - Samsung
Publication Details: Software Quality Journal, Vol.12(3), pp.231-264
Identifiers: 996631882101851
Academic Unit: Computer Science
Language: English
Resource Type: Journal article