Matches in SemOpenAlex for { <https://semopenalex.org/work/W2391139941> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2391139941 abstract "The B model of disk scheduling is built by using B method and its liveness is proved.Then in the environment of B method,the verified B model is refined step by step into an implementation model and finally translated into the source C code with the aid of B toolkit.The correctness of the B model and of the refinement process is guaranteed by the B method.Our study shows using B method can develop the highly reliable and reusable disk scheduling software." @default.
- W2391139941 created "2016-06-24" @default.
- W2391139941 creator A5072040220 @default.
- W2391139941 date "2008-01-01" @default.
- W2391139941 modified "2023-09-26" @default.
- W2391139941 title "Disk Scheduling Software Development Based On B Method" @default.
- W2391139941 hasPublicationYear "2008" @default.
- W2391139941 type Work @default.
- W2391139941 sameAs 2391139941 @default.
- W2391139941 citedByCount "0" @default.
- W2391139941 crossrefType "journal-article" @default.
- W2391139941 hasAuthorship W2391139941A5072040220 @default.
- W2391139941 hasConcept C126255220 @default.
- W2391139941 hasConcept C15569618 @default.
- W2391139941 hasConcept C192698709 @default.
- W2391139941 hasConcept C199360897 @default.
- W2391139941 hasConcept C206729178 @default.
- W2391139941 hasConcept C2777904410 @default.
- W2391139941 hasConcept C33923547 @default.
- W2391139941 hasConcept C41008148 @default.
- W2391139941 hasConcept C43126263 @default.
- W2391139941 hasConcept C55439883 @default.
- W2391139941 hasConceptScore W2391139941C126255220 @default.
- W2391139941 hasConceptScore W2391139941C15569618 @default.
- W2391139941 hasConceptScore W2391139941C192698709 @default.
- W2391139941 hasConceptScore W2391139941C199360897 @default.
- W2391139941 hasConceptScore W2391139941C206729178 @default.
- W2391139941 hasConceptScore W2391139941C2777904410 @default.
- W2391139941 hasConceptScore W2391139941C33923547 @default.
- W2391139941 hasConceptScore W2391139941C41008148 @default.
- W2391139941 hasConceptScore W2391139941C43126263 @default.
- W2391139941 hasConceptScore W2391139941C55439883 @default.
- W2391139941 hasLocation W23911399411 @default.
- W2391139941 hasOpenAccess W2391139941 @default.
- W2391139941 hasPrimaryLocation W23911399411 @default.
- W2391139941 hasRelatedWork W1969431345 @default.
- W2391139941 hasRelatedWork W2082880941 @default.
- W2391139941 hasRelatedWork W2100567878 @default.
- W2391139941 hasRelatedWork W2149355718 @default.
- W2391139941 hasRelatedWork W2887400446 @default.
- W2391139941 hasRelatedWork W2770703059 @default.
- W2391139941 hasRelatedWork W2788282681 @default.
- W2391139941 hasRelatedWork W2829734663 @default.
- W2391139941 hasRelatedWork W2845117031 @default.
- W2391139941 hasRelatedWork W2845731761 @default.
- W2391139941 hasRelatedWork W2850621535 @default.
- W2391139941 hasRelatedWork W2852146339 @default.
- W2391139941 hasRelatedWork W2870726203 @default.
- W2391139941 hasRelatedWork W2882574153 @default.
- W2391139941 hasRelatedWork W2987733277 @default.
- W2391139941 hasRelatedWork W3107480325 @default.
- W2391139941 hasRelatedWork W3117630797 @default.
- W2391139941 hasRelatedWork W3154188321 @default.
- W2391139941 hasRelatedWork W3155455205 @default.
- W2391139941 hasRelatedWork W3181843734 @default.
- W2391139941 isParatext "false" @default.
- W2391139941 isRetracted "false" @default.
- W2391139941 magId "2391139941" @default.
- W2391139941 workType "article" @default.