Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539772907> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1539772907 endingPage "10" @default.
- W1539772907 startingPage "1" @default.
- W1539772907 abstract "Formal methods are not used in their full potential for enhancing software quality in industry. We argue that seamless support in a high-level specification tool is a viable way to provide system d ..." @default.
- W1539772907 created "2016-06-24" @default.
- W1539772907 creator A5005570590 @default.
- W1539772907 creator A5058880814 @default.
- W1539772907 creator A5079870005 @default.
- W1539772907 creator A5082831057 @default.
- W1539772907 date "2008-01-01" @default.
- W1539772907 modified "2023-09-23" @default.
- W1539772907 title "Verification of an industrial rule-based manufacturing system using REX" @default.
- W1539772907 cites W1497001408 @default.
- W1539772907 cites W1529543011 @default.
- W1539772907 cites W1855534781 @default.
- W1539772907 cites W1966276082 @default.
- W1539772907 cites W1984936841 @default.
- W1539772907 cites W2011606665 @default.
- W1539772907 cites W2020620442 @default.
- W1539772907 cites W2025198583 @default.
- W1539772907 cites W2042088860 @default.
- W1539772907 cites W2072775482 @default.
- W1539772907 cites W2101508170 @default.
- W1539772907 cites W2116020837 @default.
- W1539772907 cites W2117319199 @default.
- W1539772907 cites W2119696713 @default.
- W1539772907 cites W2130408143 @default.
- W1539772907 cites W2131980610 @default.
- W1539772907 cites W2140100180 @default.
- W1539772907 cites W2149349183 @default.
- W1539772907 cites W2160883697 @default.
- W1539772907 hasPublicationYear "2008" @default.
- W1539772907 type Work @default.
- W1539772907 sameAs 1539772907 @default.
- W1539772907 citedByCount "2" @default.
- W1539772907 countsByYear W15397729072012 @default.
- W1539772907 countsByYear W15397729072014 @default.
- W1539772907 crossrefType "journal-article" @default.
- W1539772907 hasAuthorship W1539772907A5005570590 @default.
- W1539772907 hasAuthorship W1539772907A5058880814 @default.
- W1539772907 hasAuthorship W1539772907A5079870005 @default.
- W1539772907 hasAuthorship W1539772907A5082831057 @default.
- W1539772907 hasConcept C111472728 @default.
- W1539772907 hasConcept C115903868 @default.
- W1539772907 hasConcept C117671659 @default.
- W1539772907 hasConcept C127413603 @default.
- W1539772907 hasConcept C138885662 @default.
- W1539772907 hasConcept C199360897 @default.
- W1539772907 hasConcept C201995342 @default.
- W1539772907 hasConcept C2777904410 @default.
- W1539772907 hasConcept C2779530757 @default.
- W1539772907 hasConcept C41008148 @default.
- W1539772907 hasConceptScore W1539772907C111472728 @default.
- W1539772907 hasConceptScore W1539772907C115903868 @default.
- W1539772907 hasConceptScore W1539772907C117671659 @default.
- W1539772907 hasConceptScore W1539772907C127413603 @default.
- W1539772907 hasConceptScore W1539772907C138885662 @default.
- W1539772907 hasConceptScore W1539772907C199360897 @default.
- W1539772907 hasConceptScore W1539772907C201995342 @default.
- W1539772907 hasConceptScore W1539772907C2777904410 @default.
- W1539772907 hasConceptScore W1539772907C2779530757 @default.
- W1539772907 hasConceptScore W1539772907C41008148 @default.
- W1539772907 hasLocation W15397729071 @default.
- W1539772907 hasOpenAccess W1539772907 @default.
- W1539772907 hasPrimaryLocation W15397729071 @default.
- W1539772907 hasRelatedWork W1490572745 @default.
- W1539772907 hasRelatedWork W1508721316 @default.
- W1539772907 hasRelatedWork W1509462109 @default.
- W1539772907 hasRelatedWork W1516259934 @default.
- W1539772907 hasRelatedWork W1584051160 @default.
- W1539772907 hasRelatedWork W1633851666 @default.
- W1539772907 hasRelatedWork W172724355 @default.
- W1539772907 hasRelatedWork W1999165188 @default.
- W1539772907 hasRelatedWork W2052465296 @default.
- W1539772907 hasRelatedWork W2062445283 @default.
- W1539772907 hasRelatedWork W2150765606 @default.
- W1539772907 hasRelatedWork W2165171767 @default.
- W1539772907 hasRelatedWork W2166771505 @default.
- W1539772907 hasRelatedWork W2231551901 @default.
- W1539772907 hasRelatedWork W2415765881 @default.
- W1539772907 hasRelatedWork W2540334960 @default.
- W1539772907 hasRelatedWork W2795365440 @default.
- W1539772907 hasRelatedWork W2910160375 @default.
- W1539772907 hasRelatedWork W3016100479 @default.
- W1539772907 hasRelatedWork W30839393 @default.
- W1539772907 isParatext "false" @default.
- W1539772907 isRetracted "false" @default.
- W1539772907 magId "1539772907" @default.
- W1539772907 workType "article" @default.