Matches in SemOpenAlex for { <https://semopenalex.org/work/W1618449538> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1618449538 endingPage "380" @default.
- W1618449538 startingPage "371" @default.
- W1618449538 abstract "In this paper, a formal, agent-based approach is presented to analyse the dynamics of accidents and incidents in aviation. The approach comprises a number of steps, which include development of domain ontology, formalisation of scenarios, formal specification of dynamic properties, identification of interlevel relations between dynamic properties at different aggregation levels, and automated verification of dynamic properties. The approach is illustrated by means of a case study on a runway incursion incident, and a number of advantages with respect to the current state-of-the-art are discussed." @default.
- W1618449538 created "2016-06-24" @default.
- W1618449538 creator A5043000015 @default.
- W1618449538 creator A5067984774 @default.
- W1618449538 date "2012-01-01" @default.
- W1618449538 modified "2023-10-03" @default.
- W1618449538 title "Formal Analysis of Aviation Incidents" @default.
- W1618449538 cites W1984765 @default.
- W1618449538 cites W2011903527 @default.
- W1618449538 cites W2111979596 @default.
- W1618449538 cites W2134732423 @default.
- W1618449538 cites W2168253199 @default.
- W1618449538 doi "https://doi.org/10.1007/978-3-642-31087-4_39" @default.
- W1618449538 hasPublicationYear "2012" @default.
- W1618449538 type Work @default.
- W1618449538 sameAs 1618449538 @default.
- W1618449538 citedByCount "6" @default.
- W1618449538 countsByYear W16184495382012 @default.
- W1618449538 countsByYear W16184495382013 @default.
- W1618449538 countsByYear W16184495382014 @default.
- W1618449538 countsByYear W16184495382018 @default.
- W1618449538 crossrefType "book-chapter" @default.
- W1618449538 hasAuthorship W1618449538A5043000015 @default.
- W1618449538 hasAuthorship W1618449538A5067984774 @default.
- W1618449538 hasConcept C127413603 @default.
- W1618449538 hasConcept C146978453 @default.
- W1618449538 hasConcept C178802073 @default.
- W1618449538 hasConcept C41008148 @default.
- W1618449538 hasConcept C74448152 @default.
- W1618449538 hasConceptScore W1618449538C127413603 @default.
- W1618449538 hasConceptScore W1618449538C146978453 @default.
- W1618449538 hasConceptScore W1618449538C178802073 @default.
- W1618449538 hasConceptScore W1618449538C41008148 @default.
- W1618449538 hasConceptScore W1618449538C74448152 @default.
- W1618449538 hasLocation W16184495381 @default.
- W1618449538 hasOpenAccess W1618449538 @default.
- W1618449538 hasPrimaryLocation W16184495381 @default.
- W1618449538 hasRelatedWork W2020496922 @default.
- W1618449538 hasRelatedWork W2254414496 @default.
- W1618449538 hasRelatedWork W2890665354 @default.
- W1618449538 hasRelatedWork W3184101823 @default.
- W1618449538 hasRelatedWork W4247416952 @default.
- W1618449538 hasRelatedWork W587136344 @default.
- W1618449538 hasRelatedWork W645407476 @default.
- W1618449538 hasRelatedWork W851444952 @default.
- W1618449538 hasRelatedWork W319941286 @default.
- W1618449538 hasRelatedWork W477990669 @default.
- W1618449538 isParatext "false" @default.
- W1618449538 isRetracted "false" @default.
- W1618449538 magId "1618449538" @default.
- W1618449538 workType "book-chapter" @default.