| contributor author | Evangelos Kaisar | |
| contributor author | Mark Austin | |
| date accessioned | 2017-05-08T21:13:22Z | |
| date available | 2017-05-08T21:13:22Z | |
| date copyright | September 2007 | |
| date issued | 2007 | |
| identifier other | %28asce%290887-3801%282007%2921%3A5%28373%29.pdf | |
| identifier uri | http://yetl.yabesh.ir/yetl/handle/yetl/43337 | |
| description abstract | This note describes the essential features of a new methodology for the incremental transformation of informal operations concepts for a waterway management system into system-level designs, the latter being formal enough to support automated validation of anticipated behaviors. We exercise the methodology for the synthesis and validation of a high-level behavior model for a ship passing through a waterway network. | |
| publisher | American Society of Civil Engineers | |
| title | Synthesis and Validation of High-Level Behavior Models for Narrow Waterway Management Systems | |
| type | Journal Paper | |
| journal volume | 21 | |
| journal issue | 5 | |
| journal title | Journal of Computing in Civil Engineering | |
| identifier doi | 10.1061/(ASCE)0887-3801(2007)21:5(373) | |
| tree | Journal of Computing in Civil Engineering:;2007:;Volume ( 021 ):;issue: 005 | |
| contenttype | Fulltext | |
