| Original language | English |
|---|---|
| Place of Publication | Boston, MA 02115 |
| State | Published - 1 Mar 2003 |
An Implementation of an Elevator System in the IOA Language and Toolset
Onur Aytar, Paul~C. Attie, David H. Lorenz
Research output: Working paper
Onur Aytar, Paul~C. Attie, David H. Lorenz
Research output: Working paper
| Original language | English |
|---|---|
| Place of Publication | Boston, MA 02115 |
| State | Published - 1 Mar 2003 |