eCite Digital Repository
Animating formal specifications using Java applets
Citation
Lakos, CA and Lewis, G, Animating formal specifications using Java applets, Technology of Object-Oriented Languages and Systems, Melbourne, pp. 181-191. (1997) [Refereed Conference Paper]
Item Details
| Item Type: | Refereed Conference Paper |
|---|---|
| Research Division: | Information and Computing Sciences |
| Research Group: | Software engineering |
| Research Field: | Software testing, verification and validation |
| Objective Division: | Information and Communication Services |
| Objective Group: | Other information and communication services |
| Objective Field: | Other information and communication services not elsewhere classified |
| UTAS Author: | Lakos, CA (Dr Charles Lakos) |
| UTAS Author: | Lewis, G (Mr Glenn Lewis) |
| ID Code: | 11871 |
| Year Published: | 1997 |
| Deposited By: | Electrical Engineering and Computer Science |
| Deposited On: | 1997-08-01 |
| Last Modified: | 1998-02-01 |
| Downloads: | 0 |
Repository Staff Only: item control page