Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102674165> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2102674165 abstract "In this paper, we present a method for model synthesis. Based on observations of running system, a model that can describe the observed behavior is automatically generated. This allows faster and more accurate modeling of existing systems. The models can be used for impact analysis, verification, documentation etc. The method has been implemented; we describe that implementation and present an evaluation of its performance, the conclusion of the evaluation is in favor of the proposed method." @default.
- W2102674165 created "2016-06-24" @default.
- W2102674165 creator A5057585299 @default.
- W2102674165 creator A5064179470 @default.
- W2102674165 date "2005-03-31" @default.
- W2102674165 modified "2023-10-17" @default.
- W2102674165 title "Model Synthesis for Real-Time Systems" @default.
- W2102674165 cites W1979789838 @default.
- W2102674165 cites W1989432433 @default.
- W2102674165 cites W2102953291 @default.
- W2102674165 cites W2125385908 @default.
- W2102674165 cites W2126823087 @default.
- W2102674165 cites W2167990851 @default.
- W2102674165 cites W2172035080 @default.
- W2102674165 cites W4242716393 @default.
- W2102674165 doi "https://doi.org/10.1109/csmr.2005.39" @default.
- W2102674165 hasPublicationYear "2005" @default.
- W2102674165 type Work @default.
- W2102674165 sameAs 2102674165 @default.
- W2102674165 citedByCount "26" @default.
- W2102674165 countsByYear W21026741652012 @default.
- W2102674165 countsByYear W21026741652013 @default.
- W2102674165 countsByYear W21026741652014 @default.
- W2102674165 countsByYear W21026741652015 @default.
- W2102674165 countsByYear W21026741652016 @default.
- W2102674165 countsByYear W21026741652018 @default.
- W2102674165 crossrefType "proceedings-article" @default.
- W2102674165 hasAuthorship W2102674165A5057585299 @default.
- W2102674165 hasAuthorship W2102674165A5064179470 @default.
- W2102674165 hasConcept C41008148 @default.
- W2102674165 hasConcept C79403827 @default.
- W2102674165 hasConceptScore W2102674165C41008148 @default.
- W2102674165 hasConceptScore W2102674165C79403827 @default.
- W2102674165 hasLocation W21026741651 @default.
- W2102674165 hasOpenAccess W2102674165 @default.
- W2102674165 hasPrimaryLocation W21026741651 @default.
- W2102674165 hasRelatedWork W1503044881 @default.
- W2102674165 hasRelatedWork W1519398290 @default.
- W2102674165 hasRelatedWork W1998320603 @default.
- W2102674165 hasRelatedWork W2015197026 @default.
- W2102674165 hasRelatedWork W2056851291 @default.
- W2102674165 hasRelatedWork W2363207358 @default.
- W2102674165 hasRelatedWork W2363789696 @default.
- W2102674165 hasRelatedWork W2889205661 @default.
- W2102674165 hasRelatedWork W2972412491 @default.
- W2102674165 hasRelatedWork W3164102603 @default.
- W2102674165 isParatext "false" @default.
- W2102674165 isRetracted "false" @default.
- W2102674165 magId "2102674165" @default.
- W2102674165 workType "article" @default.