Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487328689> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2487328689 abstract "The main cause of major accidents in airport traffic is an incursion of a vehicle into a runway of a landing or taking-off aircraft. This article presents a method to increase the runway safety, where it strongly depends on human made decisions, regulated by national and local laws of deontic nature, i.e. rules of obligation, permission etc. We propose to model and verify such a communication control system, and related behavioral deontic rules, as finite state automata in the Symbolic Model Verifier NuSMV, where the deonticity is built in the automata, and the verification thereof uses CTL temporal logic formulas. The method is simple in modeling the system and in specifying and verifying it. It can also easily find a possible path of states leading to a user-defined hazard." @default.
- W2487328689 created "2016-08-23" @default.
- W2487328689 creator A5009738834 @default.
- W2487328689 date "2016-01-01" @default.
- W2487328689 modified "2023-09-30" @default.
- W2487328689 title "NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules" @default.
- W2487328689 cites W1612453857 @default.
- W2487328689 cites W1992329597 @default.
- W2487328689 cites W2001289891 @default.
- W2487328689 cites W64759968 @default.
- W2487328689 cites W99458089 @default.
- W2487328689 doi "https://doi.org/10.1007/978-3-319-39639-2_17" @default.
- W2487328689 hasPublicationYear "2016" @default.
- W2487328689 type Work @default.
- W2487328689 sameAs 2487328689 @default.
- W2487328689 citedByCount "2" @default.
- W2487328689 countsByYear W24873286892019 @default.
- W2487328689 crossrefType "book-chapter" @default.
- W2487328689 hasAuthorship W2487328689A5009738834 @default.
- W2487328689 hasConcept C110251889 @default.
- W2487328689 hasConcept C111472728 @default.
- W2487328689 hasConcept C112505250 @default.
- W2487328689 hasConcept C138885662 @default.
- W2487328689 hasConcept C166957645 @default.
- W2487328689 hasConcept C167822520 @default.
- W2487328689 hasConcept C17744445 @default.
- W2487328689 hasConcept C199360897 @default.
- W2487328689 hasConcept C199539241 @default.
- W2487328689 hasConcept C25016198 @default.
- W2487328689 hasConcept C2778447849 @default.
- W2487328689 hasConcept C2779089604 @default.
- W2487328689 hasConcept C38652104 @default.
- W2487328689 hasConcept C41008148 @default.
- W2487328689 hasConcept C6377922 @default.
- W2487328689 hasConcept C80444323 @default.
- W2487328689 hasConcept C81155309 @default.
- W2487328689 hasConcept C95457728 @default.
- W2487328689 hasConceptScore W2487328689C110251889 @default.
- W2487328689 hasConceptScore W2487328689C111472728 @default.
- W2487328689 hasConceptScore W2487328689C112505250 @default.
- W2487328689 hasConceptScore W2487328689C138885662 @default.
- W2487328689 hasConceptScore W2487328689C166957645 @default.
- W2487328689 hasConceptScore W2487328689C167822520 @default.
- W2487328689 hasConceptScore W2487328689C17744445 @default.
- W2487328689 hasConceptScore W2487328689C199360897 @default.
- W2487328689 hasConceptScore W2487328689C199539241 @default.
- W2487328689 hasConceptScore W2487328689C25016198 @default.
- W2487328689 hasConceptScore W2487328689C2778447849 @default.
- W2487328689 hasConceptScore W2487328689C2779089604 @default.
- W2487328689 hasConceptScore W2487328689C38652104 @default.
- W2487328689 hasConceptScore W2487328689C41008148 @default.
- W2487328689 hasConceptScore W2487328689C6377922 @default.
- W2487328689 hasConceptScore W2487328689C80444323 @default.
- W2487328689 hasConceptScore W2487328689C81155309 @default.
- W2487328689 hasConceptScore W2487328689C95457728 @default.
- W2487328689 hasLocation W24873286891 @default.
- W2487328689 hasOpenAccess W2487328689 @default.
- W2487328689 hasPrimaryLocation W24873286891 @default.
- W2487328689 hasRelatedWork W147274287 @default.
- W2487328689 hasRelatedWork W1481201928 @default.
- W2487328689 hasRelatedWork W1526924704 @default.
- W2487328689 hasRelatedWork W1591560447 @default.
- W2487328689 hasRelatedWork W1606314390 @default.
- W2487328689 hasRelatedWork W1641375177 @default.
- W2487328689 hasRelatedWork W174561654 @default.
- W2487328689 hasRelatedWork W1764099364 @default.
- W2487328689 hasRelatedWork W2007635637 @default.
- W2487328689 hasRelatedWork W2010286368 @default.
- W2487328689 hasRelatedWork W201039669 @default.
- W2487328689 hasRelatedWork W2070574472 @default.
- W2487328689 hasRelatedWork W2087953129 @default.
- W2487328689 hasRelatedWork W2106595800 @default.
- W2487328689 hasRelatedWork W2353520132 @default.
- W2487328689 hasRelatedWork W2365236609 @default.
- W2487328689 hasRelatedWork W2547314427 @default.
- W2487328689 hasRelatedWork W3104654558 @default.
- W2487328689 hasRelatedWork W342744683 @default.
- W2487328689 hasRelatedWork W2574525912 @default.
- W2487328689 isParatext "false" @default.
- W2487328689 isRetracted "false" @default.
- W2487328689 magId "2487328689" @default.
- W2487328689 workType "book-chapter" @default.