Formal specification-based online monitoring release_xfyzzx5on5ef7gzywosbfj5qbq

by Hui Liang, Jin Song Dong, Jing Sun, R. Duke, R.E. Seviora

Released as a paper-conference by IEEE Comput. Soc.

Archived Files and Locations

application/pdf   210.1 kB
file_fw34ranbuzddxhabzxl2eawbfu
www.cs.auckland.ac.nz (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   unknown
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6956f898-c22a-40d4-81ee-8a072b042fb8
API URL: JSON