Model-based self-monitoring embedded programs with temporal logic specifications release_wlwjyae73fc4rid77xjturqx4q

by Li Tan

Published in International Conference on Automated Software Engineering by ACM Press.

2005   p380-383

Archived Files and Locations

application/pdf  143.0 kB
file_mvirmxzsifcjhlmheu3gjaijfq
web.archive.org (webarchive)
www.eecs.wsu.edu (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2005
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 5873b82a-6d9f-462d-9f04-4a87fa7d9111
API URL: JSON