Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125536251> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2125536251 endingPage "104" @default.
- W2125536251 startingPage "88" @default.
- W2125536251 abstract "This study applies a new intelligent transportation methodology for transforming informal operations concepts for narrow passageway systems into system-level designs, which will formal enough to support automated validation of anticipated component- and system-level behaviours. Models and specifications of behaviour are formally designed as labelled transition systems. Each object is the management system is assumed to have behaviour that can be defined by a finite state machine; thus, the waterway management system architecture is modelled as a network of communicating finite state machines. Architecture-level behaviours are validated using the Labelled Transition System Analyzer (LTSA). We exercise the methodology by working step by step through the synthesis and validation of a high-level behaviour model for a vessel passing through a waterway network (i.e., canal)." @default.
- W2125536251 created "2016-06-24" @default.
- W2125536251 creator A5024395821 @default.
- W2125536251 creator A5076388751 @default.
- W2125536251 creator A5080461843 @default.
- W2125536251 date "2006-12-01" @default.
- W2125536251 modified "2023-09-25" @default.
- W2125536251 title "Formal development and evaluation of narrow passageway system operations" @default.
- W2125536251 cites W1548719231 @default.
- W2125536251 cites W1555961825 @default.
- W2125536251 cites W1986178703 @default.
- W2125536251 cites W1994350081 @default.
- W2125536251 cites W1997780925 @default.
- W2125536251 cites W2038514025 @default.
- W2125536251 cites W2059106405 @default.
- W2125536251 cites W2060910670 @default.
- W2125536251 cites W2065740928 @default.
- W2125536251 cites W2113647890 @default.
- W2125536251 cites W2144807091 @default.
- W2125536251 cites W2159263584 @default.
- W2125536251 cites W2171642819 @default.
- W2125536251 cites W2187739114 @default.
- W2125536251 cites W129725357 @default.
- W2125536251 hasPublicationYear "2006" @default.
- W2125536251 type Work @default.
- W2125536251 sameAs 2125536251 @default.
- W2125536251 citedByCount "1" @default.
- W2125536251 countsByYear W21255362512014 @default.
- W2125536251 crossrefType "posted-content" @default.
- W2125536251 hasAuthorship W2125536251A5024395821 @default.
- W2125536251 hasAuthorship W2125536251A5076388751 @default.
- W2125536251 hasAuthorship W2125536251A5080461843 @default.
- W2125536251 hasConcept C11413529 @default.
- W2125536251 hasConcept C115903868 @default.
- W2125536251 hasConcept C120314980 @default.
- W2125536251 hasConcept C121332964 @default.
- W2125536251 hasConcept C123657996 @default.
- W2125536251 hasConcept C127413603 @default.
- W2125536251 hasConcept C142362112 @default.
- W2125536251 hasConcept C153349607 @default.
- W2125536251 hasConcept C154945302 @default.
- W2125536251 hasConcept C167822520 @default.
- W2125536251 hasConcept C168167062 @default.
- W2125536251 hasConcept C201995342 @default.
- W2125536251 hasConcept C2779167558 @default.
- W2125536251 hasConcept C2781238097 @default.
- W2125536251 hasConcept C41008148 @default.
- W2125536251 hasConcept C48103436 @default.
- W2125536251 hasConcept C80444323 @default.
- W2125536251 hasConcept C97355855 @default.
- W2125536251 hasConcept C98025372 @default.
- W2125536251 hasConceptScore W2125536251C11413529 @default.
- W2125536251 hasConceptScore W2125536251C115903868 @default.
- W2125536251 hasConceptScore W2125536251C120314980 @default.
- W2125536251 hasConceptScore W2125536251C121332964 @default.
- W2125536251 hasConceptScore W2125536251C123657996 @default.
- W2125536251 hasConceptScore W2125536251C127413603 @default.
- W2125536251 hasConceptScore W2125536251C142362112 @default.
- W2125536251 hasConceptScore W2125536251C153349607 @default.
- W2125536251 hasConceptScore W2125536251C154945302 @default.
- W2125536251 hasConceptScore W2125536251C167822520 @default.
- W2125536251 hasConceptScore W2125536251C168167062 @default.
- W2125536251 hasConceptScore W2125536251C201995342 @default.
- W2125536251 hasConceptScore W2125536251C2779167558 @default.
- W2125536251 hasConceptScore W2125536251C2781238097 @default.
- W2125536251 hasConceptScore W2125536251C41008148 @default.
- W2125536251 hasConceptScore W2125536251C48103436 @default.
- W2125536251 hasConceptScore W2125536251C80444323 @default.
- W2125536251 hasConceptScore W2125536251C97355855 @default.
- W2125536251 hasConceptScore W2125536251C98025372 @default.
- W2125536251 hasIssue "34" @default.
- W2125536251 hasLocation W21255362511 @default.
- W2125536251 hasOpenAccess W2125536251 @default.
- W2125536251 hasPrimaryLocation W21255362511 @default.
- W2125536251 hasRelatedWork W1536885703 @default.
- W2125536251 hasRelatedWork W1978999897 @default.
- W2125536251 hasRelatedWork W2005564823 @default.
- W2125536251 hasRelatedWork W2008229461 @default.
- W2125536251 hasRelatedWork W2030675858 @default.
- W2125536251 hasRelatedWork W2049920401 @default.
- W2125536251 hasRelatedWork W2078294508 @default.
- W2125536251 hasRelatedWork W2088791697 @default.
- W2125536251 hasRelatedWork W2097132468 @default.
- W2125536251 hasRelatedWork W2126942966 @default.
- W2125536251 hasRelatedWork W2162889817 @default.
- W2125536251 hasRelatedWork W2352685817 @default.
- W2125536251 hasRelatedWork W2415035103 @default.
- W2125536251 hasRelatedWork W2590518541 @default.
- W2125536251 hasRelatedWork W2785937268 @default.
- W2125536251 hasRelatedWork W2804905535 @default.
- W2125536251 hasRelatedWork W2994549912 @default.
- W2125536251 hasRelatedWork W2997000060 @default.
- W2125536251 hasRelatedWork W3105995465 @default.
- W2125536251 hasRelatedWork W2521661627 @default.
- W2125536251 isParatext "false" @default.
- W2125536251 isRetracted "false" @default.
- W2125536251 magId "2125536251" @default.
- W2125536251 workType "article" @default.