Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990327656> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2990327656 abstract "The increasing scale and complex of software makes it difficult to ensure the correctness and consistency of the software, therefore, formal methods emerge and are gradually recognized by industry. This paper introduces the structure and function of the immune cell system, which is a typical large and high-complexity model involving many cytokines and immune responses and how to model the immune system and elaborates the requirements of the immune system in three layers by using the Event-B modeling theory, which is formal languages based on set theory and predicate logic. The model of each layer is verified automatically and manually, which reduces the uncertainty and consistency of the immune system." @default.
- W2990327656 created "2019-12-05" @default.
- W2990327656 creator A5013038112 @default.
- W2990327656 creator A5014327370 @default.
- W2990327656 creator A5037989560 @default.
- W2990327656 creator A5077900885 @default.
- W2990327656 date "2019-06-01" @default.
- W2990327656 modified "2023-09-28" @default.
- W2990327656 title "Refinement and Validation of the Immune System Based on the Event-B Method" @default.
- W2990327656 cites W1556900989 @default.
- W2990327656 cites W1893552753 @default.
- W2990327656 cites W2070694647 @default.
- W2990327656 cites W2170486381 @default.
- W2990327656 cites W2396058350 @default.
- W2990327656 cites W2502894230 @default.
- W2990327656 doi "https://doi.org/10.1109/iccia.2019.00011" @default.
- W2990327656 hasPublicationYear "2019" @default.
- W2990327656 type Work @default.
- W2990327656 sameAs 2990327656 @default.
- W2990327656 citedByCount "0" @default.
- W2990327656 crossrefType "proceedings-article" @default.
- W2990327656 hasAuthorship W2990327656A5013038112 @default.
- W2990327656 hasAuthorship W2990327656A5014327370 @default.
- W2990327656 hasAuthorship W2990327656A5037989560 @default.
- W2990327656 hasAuthorship W2990327656A5077900885 @default.
- W2990327656 hasConcept C111498074 @default.
- W2990327656 hasConcept C115903868 @default.
- W2990327656 hasConcept C121332964 @default.
- W2990327656 hasConcept C124101348 @default.
- W2990327656 hasConcept C140146324 @default.
- W2990327656 hasConcept C154945302 @default.
- W2990327656 hasConcept C199360897 @default.
- W2990327656 hasConcept C2776436953 @default.
- W2990327656 hasConcept C2779662365 @default.
- W2990327656 hasConcept C41008148 @default.
- W2990327656 hasConcept C55439883 @default.
- W2990327656 hasConcept C62520636 @default.
- W2990327656 hasConcept C80444323 @default.
- W2990327656 hasConceptScore W2990327656C111498074 @default.
- W2990327656 hasConceptScore W2990327656C115903868 @default.
- W2990327656 hasConceptScore W2990327656C121332964 @default.
- W2990327656 hasConceptScore W2990327656C124101348 @default.
- W2990327656 hasConceptScore W2990327656C140146324 @default.
- W2990327656 hasConceptScore W2990327656C154945302 @default.
- W2990327656 hasConceptScore W2990327656C199360897 @default.
- W2990327656 hasConceptScore W2990327656C2776436953 @default.
- W2990327656 hasConceptScore W2990327656C2779662365 @default.
- W2990327656 hasConceptScore W2990327656C41008148 @default.
- W2990327656 hasConceptScore W2990327656C55439883 @default.
- W2990327656 hasConceptScore W2990327656C62520636 @default.
- W2990327656 hasConceptScore W2990327656C80444323 @default.
- W2990327656 hasLocation W29903276561 @default.
- W2990327656 hasOpenAccess W2990327656 @default.
- W2990327656 hasPrimaryLocation W29903276561 @default.
- W2990327656 hasRelatedWork W1514230248 @default.
- W2990327656 hasRelatedWork W1523043808 @default.
- W2990327656 hasRelatedWork W1557453285 @default.
- W2990327656 hasRelatedWork W1990752815 @default.
- W2990327656 hasRelatedWork W2127669245 @default.
- W2990327656 hasRelatedWork W2166249092 @default.
- W2990327656 hasRelatedWork W2293676954 @default.
- W2990327656 hasRelatedWork W2394934717 @default.
- W2990327656 hasRelatedWork W2586449206 @default.
- W2990327656 hasRelatedWork W2750638830 @default.
- W2990327656 hasRelatedWork W2757915221 @default.
- W2990327656 hasRelatedWork W2808271761 @default.
- W2990327656 hasRelatedWork W2884377853 @default.
- W2990327656 hasRelatedWork W2895056220 @default.
- W2990327656 hasRelatedWork W2897888723 @default.
- W2990327656 hasRelatedWork W2937359915 @default.
- W2990327656 hasRelatedWork W3136676281 @default.
- W2990327656 hasRelatedWork W648946821 @default.
- W2990327656 hasRelatedWork W72832420 @default.
- W2990327656 hasRelatedWork W947349040 @default.
- W2990327656 isParatext "false" @default.
- W2990327656 isRetracted "false" @default.
- W2990327656 magId "2990327656" @default.
- W2990327656 workType "article" @default.