Matches in SemOpenAlex for { <https://semopenalex.org/work/W2187716755> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2187716755 abstract "CLAIRE is a tool developed at CEA, the French research institute in nuclear area, for testing softwares involved in information and control systems of nuclear plants. The tool is based on a purely software simulation: the environment of the code is modelised and exchanges, at simulation time, information with the code under validation. Verijcation of safety properties can be performed with this tool. Several binary codes can be included in the same simulation to validate distributed real-time applications. The solutions adopted for the tool make it possible to use it to validate specijcations, so that verijcation of properties could be performed very early in the application life-cycle. The results of the simulation can be managed either on-line, at simulation time, or off-line after the end of the simulation." @default.
- W2187716755 created "2016-06-24" @default.
- W2187716755 creator A5007867613 @default.
- W2187716755 date "1994-01-01" @default.
- W2187716755 modified "2023-09-26" @default.
- W2187716755 title "CLAIRE : an Event-Driven Simulation Tool for Testing Software J. Raguideau D. Schoen Direction of Advandced Technologies LET1 DEIN CEA F9 1 19 1 Gif-sur-Yvette Cedex" @default.
- W2187716755 hasPublicationYear "1994" @default.
- W2187716755 type Work @default.
- W2187716755 sameAs 2187716755 @default.
- W2187716755 citedByCount "0" @default.
- W2187716755 crossrefType "journal-article" @default.
- W2187716755 hasAuthorship W2187716755A5007867613 @default.
- W2187716755 hasConcept C115903868 @default.
- W2187716755 hasConcept C121332964 @default.
- W2187716755 hasConcept C177264268 @default.
- W2187716755 hasConcept C198352243 @default.
- W2187716755 hasConcept C199360897 @default.
- W2187716755 hasConcept C2524010 @default.
- W2187716755 hasConcept C2776760102 @default.
- W2187716755 hasConcept C2777904410 @default.
- W2187716755 hasConcept C2779662365 @default.
- W2187716755 hasConcept C33923547 @default.
- W2187716755 hasConcept C41008148 @default.
- W2187716755 hasConcept C62520636 @default.
- W2187716755 hasConceptScore W2187716755C115903868 @default.
- W2187716755 hasConceptScore W2187716755C121332964 @default.
- W2187716755 hasConceptScore W2187716755C177264268 @default.
- W2187716755 hasConceptScore W2187716755C198352243 @default.
- W2187716755 hasConceptScore W2187716755C199360897 @default.
- W2187716755 hasConceptScore W2187716755C2524010 @default.
- W2187716755 hasConceptScore W2187716755C2776760102 @default.
- W2187716755 hasConceptScore W2187716755C2777904410 @default.
- W2187716755 hasConceptScore W2187716755C2779662365 @default.
- W2187716755 hasConceptScore W2187716755C33923547 @default.
- W2187716755 hasConceptScore W2187716755C41008148 @default.
- W2187716755 hasConceptScore W2187716755C62520636 @default.
- W2187716755 hasLocation W21877167551 @default.
- W2187716755 hasOpenAccess W2187716755 @default.
- W2187716755 hasPrimaryLocation W21877167551 @default.
- W2187716755 hasRelatedWork W1487298579 @default.
- W2187716755 hasRelatedWork W1549357531 @default.
- W2187716755 hasRelatedWork W1607280759 @default.
- W2187716755 hasRelatedWork W1929812029 @default.
- W2187716755 hasRelatedWork W1988675891 @default.
- W2187716755 hasRelatedWork W1993481199 @default.
- W2187716755 hasRelatedWork W2018600447 @default.
- W2187716755 hasRelatedWork W2067931862 @default.
- W2187716755 hasRelatedWork W2070661383 @default.
- W2187716755 hasRelatedWork W2165410907 @default.
- W2187716755 hasRelatedWork W2315599939 @default.
- W2187716755 hasRelatedWork W2324475135 @default.
- W2187716755 hasRelatedWork W2371614577 @default.
- W2187716755 hasRelatedWork W2522469493 @default.
- W2187716755 hasRelatedWork W2561578211 @default.
- W2187716755 hasRelatedWork W2922029802 @default.
- W2187716755 hasRelatedWork W85352297 @default.
- W2187716755 hasRelatedWork W955407299 @default.
- W2187716755 hasRelatedWork W150430237 @default.
- W2187716755 hasRelatedWork W2926098719 @default.
- W2187716755 isParatext "false" @default.
- W2187716755 isRetracted "false" @default.
- W2187716755 magId "2187716755" @default.
- W2187716755 workType "article" @default.