Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897960823> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2897960823 abstract "Routing is one of the most mysterious issues from the birth of networks up till now. Designing routing protocols for Mobile Ad hoc Networks (MANETs) is a complicated task because unpredictable mobility patterns of mobile nodes greatly effect routing decisions. Various routing protocols are designed to improve this very problem. Different simulator based routing protocols are designed but these protocols might fail during deployment because of the testing procedures of simulators. In this study, a novel formal model for routes management is proposed for MANETs. Formal methods are the most novel techniques based purely on mathematics and are used for the verification, validation of critical systems/models and guarantee the correctness and completeness of hardware/software systems. The proposed routing model is a complete and detailed graph based logical model defined in VDM-SL (formal language) and then verified and validated by using VDM-SL toolbox." @default.
- W2897960823 created "2018-10-26" @default.
- W2897960823 creator A5012166388 @default.
- W2897960823 creator A5027891283 @default.
- W2897960823 creator A5047221826 @default.
- W2897960823 creator A5076157502 @default.
- W2897960823 date "2018-09-24" @default.
- W2897960823 modified "2023-09-27" @default.
- W2897960823 title "Mathematical Modeling of Routes Maintenance and Recovery Procedure for MANETs" @default.
- W2897960823 cites W1515629663 @default.
- W2897960823 cites W1614816533 @default.
- W2897960823 cites W2034987010 @default.
- W2897960823 cites W2102430941 @default.
- W2897960823 cites W2135035173 @default.
- W2897960823 cites W2138219179 @default.
- W2897960823 cites W2292630816 @default.
- W2897960823 cites W2575051532 @default.
- W2897960823 cites W2610247356 @default.
- W2897960823 cites W2736681735 @default.
- W2897960823 cites W2740473698 @default.
- W2897960823 cites W2761110027 @default.
- W2897960823 cites W2798601205 @default.
- W2897960823 cites W2805432486 @default.
- W2897960823 cites W3103987592 @default.
- W2897960823 cites W337850507 @default.
- W2897960823 hasPublicationYear "2018" @default.
- W2897960823 type Work @default.
- W2897960823 sameAs 2897960823 @default.
- W2897960823 citedByCount "0" @default.
- W2897960823 crossrefType "posted-content" @default.
- W2897960823 hasAuthorship W2897960823A5012166388 @default.
- W2897960823 hasAuthorship W2897960823A5027891283 @default.
- W2897960823 hasAuthorship W2897960823A5047221826 @default.
- W2897960823 hasAuthorship W2897960823A5076157502 @default.
- W2897960823 hasConcept C104954878 @default.
- W2897960823 hasConcept C105339364 @default.
- W2897960823 hasConcept C115903868 @default.
- W2897960823 hasConcept C120314980 @default.
- W2897960823 hasConcept C158379750 @default.
- W2897960823 hasConcept C199360897 @default.
- W2897960823 hasConcept C2777655017 @default.
- W2897960823 hasConcept C31258907 @default.
- W2897960823 hasConcept C41008148 @default.
- W2897960823 hasConcept C52837422 @default.
- W2897960823 hasConcept C55439883 @default.
- W2897960823 hasConcept C74172769 @default.
- W2897960823 hasConcept C7573999 @default.
- W2897960823 hasConcept C89305328 @default.
- W2897960823 hasConcept C91280400 @default.
- W2897960823 hasConcept C94600068 @default.
- W2897960823 hasConceptScore W2897960823C104954878 @default.
- W2897960823 hasConceptScore W2897960823C105339364 @default.
- W2897960823 hasConceptScore W2897960823C115903868 @default.
- W2897960823 hasConceptScore W2897960823C120314980 @default.
- W2897960823 hasConceptScore W2897960823C158379750 @default.
- W2897960823 hasConceptScore W2897960823C199360897 @default.
- W2897960823 hasConceptScore W2897960823C2777655017 @default.
- W2897960823 hasConceptScore W2897960823C31258907 @default.
- W2897960823 hasConceptScore W2897960823C41008148 @default.
- W2897960823 hasConceptScore W2897960823C52837422 @default.
- W2897960823 hasConceptScore W2897960823C55439883 @default.
- W2897960823 hasConceptScore W2897960823C74172769 @default.
- W2897960823 hasConceptScore W2897960823C7573999 @default.
- W2897960823 hasConceptScore W2897960823C89305328 @default.
- W2897960823 hasConceptScore W2897960823C91280400 @default.
- W2897960823 hasConceptScore W2897960823C94600068 @default.
- W2897960823 hasLocation W28979608231 @default.
- W2897960823 hasOpenAccess W2897960823 @default.
- W2897960823 hasPrimaryLocation W28979608231 @default.
- W2897960823 hasRelatedWork W14003054 @default.
- W2897960823 hasRelatedWork W1518568605 @default.
- W2897960823 hasRelatedWork W1528659016 @default.
- W2897960823 hasRelatedWork W1881341452 @default.
- W2897960823 hasRelatedWork W197431515 @default.
- W2897960823 hasRelatedWork W2044304197 @default.
- W2897960823 hasRelatedWork W2100816781 @default.
- W2897960823 hasRelatedWork W2113632947 @default.
- W2897960823 hasRelatedWork W2124824241 @default.
- W2897960823 hasRelatedWork W2165351021 @default.
- W2897960823 hasRelatedWork W2317846713 @default.
- W2897960823 hasRelatedWork W2391200808 @default.
- W2897960823 hasRelatedWork W2584486542 @default.
- W2897960823 hasRelatedWork W2788670092 @default.
- W2897960823 hasRelatedWork W2805432486 @default.
- W2897960823 hasRelatedWork W2811199408 @default.
- W2897960823 hasRelatedWork W3103417051 @default.
- W2897960823 hasRelatedWork W3104039875 @default.
- W2897960823 hasRelatedWork W324180163 @default.
- W2897960823 hasRelatedWork W49420030 @default.
- W2897960823 isParatext "false" @default.
- W2897960823 isRetracted "false" @default.
- W2897960823 magId "2897960823" @default.
- W2897960823 workType "article" @default.