2007-08-01
Adapting the UPPAAL model of a distributed lift system
Publication
Publication
Presented at the
IPM International Symposium on Fundamentals of Software Engineering , Tehran, Iran
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| IPM International Symposium on Fundamentals of Software Engineering | |
| Organisation | Software Analysis and Transformation |
|
Fokkink, W., Kakebeen, A.& Pang, J. (2007). Adapting the UPPAAL model of a distributed lift system. International Symposium on Fundamentals of Software Engineering, 81–97. |
|