Matches in SemOpenAlex for { <https://semopenalex.org/work/W2354842364> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2354842364 abstract "Beginning with analysis of research works about HLA federation VVA techniques and application in software engineering of formal methods, a formal method based on temporal logic was proposed. This method could be used to check the correctness and logicality of interaction between federates during the stage of developing the federation conceptual model and executing the federation. At last, it is indicated that formal verification method is in favor of improving the creditability, reliability and consistency of HLA federation, but its application is restricted because of special knowledge and automatic computer assisted tools." @default.
- W2354842364 created "2016-06-24" @default.
- W2354842364 creator A5040992043 @default.
- W2354842364 date "2008-01-01" @default.
- W2354842364 modified "2023-09-24" @default.
- W2354842364 title "Preliminary Study on Formal Verification Method for HLA Federation" @default.
- W2354842364 hasPublicationYear "2008" @default.
- W2354842364 type Work @default.
- W2354842364 sameAs 2354842364 @default.
- W2354842364 citedByCount "0" @default.
- W2354842364 crossrefType "journal-article" @default.
- W2354842364 hasAuthorship W2354842364A5040992043 @default.
- W2354842364 hasConcept C105639569 @default.
- W2354842364 hasConcept C111498074 @default.
- W2354842364 hasConcept C115903868 @default.
- W2354842364 hasConcept C144133560 @default.
- W2354842364 hasConcept C154945302 @default.
- W2354842364 hasConcept C199360897 @default.
- W2354842364 hasConcept C2776436953 @default.
- W2354842364 hasConcept C3019953208 @default.
- W2354842364 hasConcept C41008148 @default.
- W2354842364 hasConcept C55439883 @default.
- W2354842364 hasConcept C75606506 @default.
- W2354842364 hasConceptScore W2354842364C105639569 @default.
- W2354842364 hasConceptScore W2354842364C111498074 @default.
- W2354842364 hasConceptScore W2354842364C115903868 @default.
- W2354842364 hasConceptScore W2354842364C144133560 @default.
- W2354842364 hasConceptScore W2354842364C154945302 @default.
- W2354842364 hasConceptScore W2354842364C199360897 @default.
- W2354842364 hasConceptScore W2354842364C2776436953 @default.
- W2354842364 hasConceptScore W2354842364C3019953208 @default.
- W2354842364 hasConceptScore W2354842364C41008148 @default.
- W2354842364 hasConceptScore W2354842364C55439883 @default.
- W2354842364 hasConceptScore W2354842364C75606506 @default.
- W2354842364 hasLocation W23548423641 @default.
- W2354842364 hasOpenAccess W2354842364 @default.
- W2354842364 hasPrimaryLocation W23548423641 @default.
- W2354842364 hasRelatedWork W136086866 @default.
- W2354842364 hasRelatedWork W1480362767 @default.
- W2354842364 hasRelatedWork W1481518662 @default.
- W2354842364 hasRelatedWork W1537154714 @default.
- W2354842364 hasRelatedWork W1540307291 @default.
- W2354842364 hasRelatedWork W1560121789 @default.
- W2354842364 hasRelatedWork W1586621202 @default.
- W2354842364 hasRelatedWork W1604030284 @default.
- W2354842364 hasRelatedWork W1975031965 @default.
- W2354842364 hasRelatedWork W1985256374 @default.
- W2354842364 hasRelatedWork W208439881 @default.
- W2354842364 hasRelatedWork W2331396051 @default.
- W2354842364 hasRelatedWork W2500782055 @default.
- W2354842364 hasRelatedWork W2502972448 @default.
- W2354842364 hasRelatedWork W2896063264 @default.
- W2354842364 hasRelatedWork W2911273612 @default.
- W2354842364 hasRelatedWork W2913028917 @default.
- W2354842364 hasRelatedWork W3002459809 @default.
- W2354842364 hasRelatedWork W99531190 @default.
- W2354842364 hasRelatedWork W2765407651 @default.
- W2354842364 isParatext "false" @default.
- W2354842364 isRetracted "false" @default.
- W2354842364 magId "2354842364" @default.
- W2354842364 workType "article" @default.