Matches in SemOpenAlex for { <https://semopenalex.org/work/W610508718> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W610508718 abstract "IN4387. The purpose of this course is to learn how to specify the behavior of embedded systems and to experience the design of a provably correct system. In this course you will learn how to formally specify requirements and to prove (or disprove) them on the behaviour. With a practical assignment you will experience how to apply the techniques in practice." @default.
- W610508718 created "2016-06-24" @default.
- W610508718 creator A5014062949 @default.
- W610508718 date "2012-10-03" @default.
- W610508718 modified "2023-09-27" @default.
- W610508718 title "System Validation: 7. Parallel Processes: Theory part 1" @default.
- W610508718 hasPublicationYear "2012" @default.
- W610508718 type Work @default.
- W610508718 sameAs 610508718 @default.
- W610508718 citedByCount "0" @default.
- W610508718 crossrefType "journal-article" @default.
- W610508718 hasAuthorship W610508718A5014062949 @default.
- W610508718 hasConcept C115903868 @default.
- W610508718 hasConcept C41008148 @default.
- W610508718 hasConcept C80444323 @default.
- W610508718 hasConceptScore W610508718C115903868 @default.
- W610508718 hasConceptScore W610508718C41008148 @default.
- W610508718 hasConceptScore W610508718C80444323 @default.
- W610508718 hasLocation W6105087181 @default.
- W610508718 hasOpenAccess W610508718 @default.
- W610508718 hasPrimaryLocation W6105087181 @default.
- W610508718 hasRelatedWork W123257504 @default.
- W610508718 hasRelatedWork W1494407280 @default.
- W610508718 hasRelatedWork W1494663138 @default.
- W610508718 hasRelatedWork W1501686914 @default.
- W610508718 hasRelatedWork W1554395982 @default.
- W610508718 hasRelatedWork W1575910569 @default.
- W610508718 hasRelatedWork W1588001604 @default.
- W610508718 hasRelatedWork W1752007346 @default.
- W610508718 hasRelatedWork W182380896 @default.
- W610508718 hasRelatedWork W1837315719 @default.
- W610508718 hasRelatedWork W2037479306 @default.
- W610508718 hasRelatedWork W2037677880 @default.
- W610508718 hasRelatedWork W2059896593 @default.
- W610508718 hasRelatedWork W2143230053 @default.
- W610508718 hasRelatedWork W2617522286 @default.
- W610508718 hasRelatedWork W2737746328 @default.
- W610508718 hasRelatedWork W365631234 @default.
- W610508718 hasRelatedWork W775003540 @default.
- W610508718 hasRelatedWork W80817093 @default.
- W610508718 hasRelatedWork W2099752506 @default.
- W610508718 isParatext "false" @default.
- W610508718 isRetracted "false" @default.
- W610508718 magId "610508718" @default.
- W610508718 workType "article" @default.