Matches in SemOpenAlex for { <https://semopenalex.org/work/W2727618457> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2727618457 abstract "Information technology has been advancing in many countries. In their daily lives, people encounter computerized systems in many situations and often take their operation for granted. If a system failure occurs temporarily, it is disadvantageous for the system operator and the user. The use of distributed and parallel processing systems has increased the prevalence of software failures due to resource sharing among processes. The purpose of this study is to verify the presence or absence of deadlock by using the validator called FDR for the processes of the LEGO® MINDSTORMS® EV3 robot while it climbs stairs." @default.
- W2727618457 created "2017-07-14" @default.
- W2727618457 creator A5018267994 @default.
- W2727618457 creator A5031631951 @default.
- W2727618457 creator A5038794077 @default.
- W2727618457 creator A5046711335 @default.
- W2727618457 creator A5052371543 @default.
- W2727618457 creator A5059271642 @default.
- W2727618457 date "2017-05-01" @default.
- W2727618457 modified "2023-10-17" @default.
- W2727618457 title "FDR verification of a system involving a robot climbing stairs" @default.
- W2727618457 cites W1541671050 @default.
- W2727618457 cites W1588663335 @default.
- W2727618457 doi "https://doi.org/10.1109/icis.2017.7960115" @default.
- W2727618457 hasPublicationYear "2017" @default.
- W2727618457 type Work @default.
- W2727618457 sameAs 2727618457 @default.
- W2727618457 citedByCount "0" @default.
- W2727618457 crossrefType "proceedings-article" @default.
- W2727618457 hasAuthorship W2727618457A5018267994 @default.
- W2727618457 hasAuthorship W2727618457A5031631951 @default.
- W2727618457 hasAuthorship W2727618457A5038794077 @default.
- W2727618457 hasAuthorship W2727618457A5046711335 @default.
- W2727618457 hasAuthorship W2727618457A5052371543 @default.
- W2727618457 hasAuthorship W2727618457A5059271642 @default.
- W2727618457 hasConcept C127413603 @default.
- W2727618457 hasConcept C147176958 @default.
- W2727618457 hasConcept C154945302 @default.
- W2727618457 hasConcept C2777295749 @default.
- W2727618457 hasConcept C41008148 @default.
- W2727618457 hasConcept C44154836 @default.
- W2727618457 hasConcept C66938386 @default.
- W2727618457 hasConcept C90509273 @default.
- W2727618457 hasConcept C95038775 @default.
- W2727618457 hasConceptScore W2727618457C127413603 @default.
- W2727618457 hasConceptScore W2727618457C147176958 @default.
- W2727618457 hasConceptScore W2727618457C154945302 @default.
- W2727618457 hasConceptScore W2727618457C2777295749 @default.
- W2727618457 hasConceptScore W2727618457C41008148 @default.
- W2727618457 hasConceptScore W2727618457C44154836 @default.
- W2727618457 hasConceptScore W2727618457C66938386 @default.
- W2727618457 hasConceptScore W2727618457C90509273 @default.
- W2727618457 hasConceptScore W2727618457C95038775 @default.
- W2727618457 hasLocation W27276184571 @default.
- W2727618457 hasOpenAccess W2727618457 @default.
- W2727618457 hasPrimaryLocation W27276184571 @default.
- W2727618457 hasRelatedWork W1498403997 @default.
- W2727618457 hasRelatedWork W2014019964 @default.
- W2727618457 hasRelatedWork W2139331603 @default.
- W2727618457 hasRelatedWork W2233379657 @default.
- W2727618457 hasRelatedWork W2316120522 @default.
- W2727618457 hasRelatedWork W2419943577 @default.
- W2727618457 hasRelatedWork W2760895900 @default.
- W2727618457 hasRelatedWork W2772066009 @default.
- W2727618457 hasRelatedWork W4283118099 @default.
- W2727618457 hasRelatedWork W4313288888 @default.
- W2727618457 isParatext "false" @default.
- W2727618457 isRetracted "false" @default.
- W2727618457 magId "2727618457" @default.
- W2727618457 workType "article" @default.