Matches in SemOpenAlex for { <https://semopenalex.org/work/W577921872> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W577921872 abstract "This paper defines the context of testing modern railway control systems. Some general requirements on the complicated task of testing are justified from the point of view of modern system development approaches. A new approach that successfully combines the completeness of automated and formal methods with the knowledge and experience of test experts is described. The paper concludes with an outlook on how to cope with requirements by using powerful formal and informal methods on all-embracing formal system specifications." @default.
- W577921872 created "2016-06-24" @default.
- W577921872 creator A5016917584 @default.
- W577921872 creator A5057636324 @default.
- W577921872 creator A5074003663 @default.
- W577921872 date "2000-08-21" @default.
- W577921872 modified "2023-09-28" @default.
- W577921872 title "TEST CASE GENERATION FROM FORMAL SPECIFICATIONS ON THE EXAMPLE OF TRAIN CONTROL SYSTEMS" @default.
- W577921872 cites W1537476827 @default.
- W577921872 cites W1584511540 @default.
- W577921872 cites W1787500456 @default.
- W577921872 cites W1792848689 @default.
- W577921872 cites W187596890 @default.
- W577921872 cites W2162648777 @default.
- W577921872 cites W2536425079 @default.
- W577921872 doi "https://doi.org/10.2495/cr000111" @default.
- W577921872 hasPublicationYear "2000" @default.
- W577921872 type Work @default.
- W577921872 sameAs 577921872 @default.
- W577921872 citedByCount "0" @default.
- W577921872 crossrefType "proceedings-article" @default.
- W577921872 hasAuthorship W577921872A5016917584 @default.
- W577921872 hasAuthorship W577921872A5057636324 @default.
- W577921872 hasAuthorship W577921872A5074003663 @default.
- W577921872 hasConcept C111498074 @default.
- W577921872 hasConcept C115903868 @default.
- W577921872 hasConcept C116253237 @default.
- W577921872 hasConcept C127413603 @default.
- W577921872 hasConcept C134306372 @default.
- W577921872 hasConcept C151730666 @default.
- W577921872 hasConcept C17231256 @default.
- W577921872 hasConcept C199360897 @default.
- W577921872 hasConcept C201995342 @default.
- W577921872 hasConcept C2777267654 @default.
- W577921872 hasConcept C2779343474 @default.
- W577921872 hasConcept C33923547 @default.
- W577921872 hasConcept C41008148 @default.
- W577921872 hasConcept C7166840 @default.
- W577921872 hasConcept C75606506 @default.
- W577921872 hasConcept C86803240 @default.
- W577921872 hasConceptScore W577921872C111498074 @default.
- W577921872 hasConceptScore W577921872C115903868 @default.
- W577921872 hasConceptScore W577921872C116253237 @default.
- W577921872 hasConceptScore W577921872C127413603 @default.
- W577921872 hasConceptScore W577921872C134306372 @default.
- W577921872 hasConceptScore W577921872C151730666 @default.
- W577921872 hasConceptScore W577921872C17231256 @default.
- W577921872 hasConceptScore W577921872C199360897 @default.
- W577921872 hasConceptScore W577921872C201995342 @default.
- W577921872 hasConceptScore W577921872C2777267654 @default.
- W577921872 hasConceptScore W577921872C2779343474 @default.
- W577921872 hasConceptScore W577921872C33923547 @default.
- W577921872 hasConceptScore W577921872C41008148 @default.
- W577921872 hasConceptScore W577921872C7166840 @default.
- W577921872 hasConceptScore W577921872C75606506 @default.
- W577921872 hasConceptScore W577921872C86803240 @default.
- W577921872 hasLocation W5779218721 @default.
- W577921872 hasOpenAccess W577921872 @default.
- W577921872 hasPrimaryLocation W5779218721 @default.
- W577921872 hasRelatedWork W100737768 @default.
- W577921872 hasRelatedWork W1571270892 @default.
- W577921872 hasRelatedWork W1590773200 @default.
- W577921872 hasRelatedWork W2042706273 @default.
- W577921872 hasRelatedWork W2057583130 @default.
- W577921872 hasRelatedWork W2118314837 @default.
- W577921872 hasRelatedWork W2126346330 @default.
- W577921872 hasRelatedWork W2134511358 @default.
- W577921872 hasRelatedWork W2143889043 @default.
- W577921872 hasRelatedWork W2158921232 @default.
- W577921872 hasRelatedWork W2170192942 @default.
- W577921872 hasRelatedWork W2189507155 @default.
- W577921872 hasRelatedWork W2213250134 @default.
- W577921872 hasRelatedWork W2288644579 @default.
- W577921872 hasRelatedWork W2293211457 @default.
- W577921872 hasRelatedWork W2759793993 @default.
- W577921872 hasRelatedWork W2782833472 @default.
- W577921872 hasRelatedWork W2799111221 @default.
- W577921872 hasRelatedWork W3203330106 @default.
- W577921872 hasRelatedWork W2163795822 @default.
- W577921872 hasVolume "50" @default.
- W577921872 isParatext "false" @default.
- W577921872 isRetracted "false" @default.
- W577921872 magId "577921872" @default.
- W577921872 workType "article" @default.