Matches in SemOpenAlex for { <https://semopenalex.org/work/W433456054> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W433456054 endingPage "206" @default.
- W433456054 startingPage "199" @default.
- W433456054 abstract "Tools for modeling and verification of discrete event systems are implemented in Mathematica. The tools are based on binary decision diagrams (BDD) for which a Mathematica interface is provided. For modeling a compiler is developed translating a restricted class of Pascal into boolean expressions represented by BDDs. The tools are used in an application of a landing gear system of a fighter aircraft. This system is controlled by a software consisting of 1200 lines of Pascal. This code represented as a BDD is then analyzed using temporal logics. This article demonstrates the principle of the Pascal compiler." @default.
- W433456054 created "2016-06-24" @default.
- W433456054 creator A5016517896 @default.
- W433456054 creator A5023975753 @default.
- W433456054 date "1997-01-01" @default.
- W433456054 modified "2023-09-27" @default.
- W433456054 title "Tools for Verification of a Large Discrete System" @default.
- W433456054 hasPublicationYear "1997" @default.
- W433456054 type Work @default.
- W433456054 sameAs 433456054 @default.
- W433456054 citedByCount "0" @default.
- W433456054 crossrefType "journal-article" @default.
- W433456054 hasAuthorship W433456054A5016517896 @default.
- W433456054 hasAuthorship W433456054A5023975753 @default.
- W433456054 hasConcept C169590947 @default.
- W433456054 hasConcept C199360897 @default.
- W433456054 hasConcept C2777904410 @default.
- W433456054 hasConcept C3309909 @default.
- W433456054 hasConcept C41008148 @default.
- W433456054 hasConcept C75608658 @default.
- W433456054 hasConcept C80444323 @default.
- W433456054 hasConceptScore W433456054C169590947 @default.
- W433456054 hasConceptScore W433456054C199360897 @default.
- W433456054 hasConceptScore W433456054C2777904410 @default.
- W433456054 hasConceptScore W433456054C3309909 @default.
- W433456054 hasConceptScore W433456054C41008148 @default.
- W433456054 hasConceptScore W433456054C75608658 @default.
- W433456054 hasConceptScore W433456054C80444323 @default.
- W433456054 hasLocation W4334560541 @default.
- W433456054 hasOpenAccess W433456054 @default.
- W433456054 hasPrimaryLocation W4334560541 @default.
- W433456054 hasRelatedWork W102077139 @default.
- W433456054 hasRelatedWork W1499225854 @default.
- W433456054 hasRelatedWork W1520004968 @default.
- W433456054 hasRelatedWork W1548441590 @default.
- W433456054 hasRelatedWork W1550775022 @default.
- W433456054 hasRelatedWork W172280262 @default.
- W433456054 hasRelatedWork W1764045977 @default.
- W433456054 hasRelatedWork W1914455689 @default.
- W433456054 hasRelatedWork W2007849831 @default.
- W433456054 hasRelatedWork W2054640638 @default.
- W433456054 hasRelatedWork W2076710746 @default.
- W433456054 hasRelatedWork W2108070883 @default.
- W433456054 hasRelatedWork W2128095813 @default.
- W433456054 hasRelatedWork W2162560245 @default.
- W433456054 hasRelatedWork W2270308003 @default.
- W433456054 hasRelatedWork W228320254 @default.
- W433456054 hasRelatedWork W2292362117 @default.
- W433456054 hasRelatedWork W2545216290 @default.
- W433456054 hasRelatedWork W3086341995 @default.
- W433456054 hasRelatedWork W38929788 @default.
- W433456054 isParatext "false" @default.
- W433456054 isRetracted "false" @default.
- W433456054 magId "433456054" @default.
- W433456054 workType "article" @default.