Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541112575> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1541112575 abstract "We present parts of the specification of a program to remote control and monitor different devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of different user groups that are responsible for testing and certifying explosion proof electrical equipment in PTB. Our approach is based on the formal object-oriented specification language Troll. We describe the advantages of the use of the formal method in our project." @default.
- W1541112575 created "2016-06-24" @default.
- W1541112575 creator A5046403280 @default.
- W1541112575 creator A5087001863 @default.
- W1541112575 date "1997-01-01" @default.
- W1541112575 modified "2023-09-25" @default.
- W1541112575 title "Specifying the remote controlling of valves in an explosion test environment" @default.
- W1541112575 cites W1553420545 @default.
- W1541112575 cites W1558198741 @default.
- W1541112575 cites W1844364562 @default.
- W1541112575 cites W2086142629 @default.
- W1541112575 cites W2112337853 @default.
- W1541112575 doi "https://doi.org/10.1007/3-540-63533-5_11" @default.
- W1541112575 hasPublicationYear "1997" @default.
- W1541112575 type Work @default.
- W1541112575 sameAs 1541112575 @default.
- W1541112575 citedByCount "2" @default.
- W1541112575 crossrefType "book-chapter" @default.
- W1541112575 hasAuthorship W1541112575A5046403280 @default.
- W1541112575 hasAuthorship W1541112575A5087001863 @default.
- W1541112575 hasConcept C111919701 @default.
- W1541112575 hasConcept C115903868 @default.
- W1541112575 hasConcept C116253237 @default.
- W1541112575 hasConcept C124978682 @default.
- W1541112575 hasConcept C199360897 @default.
- W1541112575 hasConcept C201677973 @default.
- W1541112575 hasConcept C41008148 @default.
- W1541112575 hasConceptScore W1541112575C111919701 @default.
- W1541112575 hasConceptScore W1541112575C115903868 @default.
- W1541112575 hasConceptScore W1541112575C116253237 @default.
- W1541112575 hasConceptScore W1541112575C124978682 @default.
- W1541112575 hasConceptScore W1541112575C199360897 @default.
- W1541112575 hasConceptScore W1541112575C201677973 @default.
- W1541112575 hasConceptScore W1541112575C41008148 @default.
- W1541112575 hasLocation W15411125751 @default.
- W1541112575 hasOpenAccess W1541112575 @default.
- W1541112575 hasPrimaryLocation W15411125751 @default.
- W1541112575 hasRelatedWork W1496670181 @default.
- W1541112575 hasRelatedWork W1503271569 @default.
- W1541112575 hasRelatedWork W1556328414 @default.
- W1541112575 hasRelatedWork W1569295882 @default.
- W1541112575 hasRelatedWork W1574949544 @default.
- W1541112575 hasRelatedWork W1581526118 @default.
- W1541112575 hasRelatedWork W2021125936 @default.
- W1541112575 hasRelatedWork W2070025566 @default.
- W1541112575 hasRelatedWork W2088654757 @default.
- W1541112575 hasRelatedWork W2089399908 @default.
- W1541112575 hasRelatedWork W2129724925 @default.
- W1541112575 hasRelatedWork W2163064422 @default.
- W1541112575 hasRelatedWork W2164892954 @default.
- W1541112575 hasRelatedWork W2281299258 @default.
- W1541112575 hasRelatedWork W2299897812 @default.
- W1541112575 hasRelatedWork W68071000 @default.
- W1541112575 hasRelatedWork W68260282 @default.
- W1541112575 hasRelatedWork W2728311438 @default.
- W1541112575 hasRelatedWork W2791791202 @default.
- W1541112575 hasRelatedWork W2896845728 @default.
- W1541112575 isParatext "false" @default.
- W1541112575 isRetracted "false" @default.
- W1541112575 magId "1541112575" @default.
- W1541112575 workType "book-chapter" @default.