Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080202009> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2080202009 endingPage "19" @default.
- W2080202009 startingPage "19" @default.
- W2080202009 abstract "This paper proposes an approach to use multiformalism techniques for critical infrastructure modelling. To this aim, the state of the art of related works on the subject is surveyed and a general scheme for intra and inter infrastructure models is described. Multiformalism approaches allow modellers to adapt the choice of formal languages to the nature, complexity and abstraction layer of the subsystems to be modelled. Another advantage is the possibility of reusing existing dependability models and solvers. Complexity and heterogeneity are managed through modularity, and composition allows for representing structural or functional dependencies. An example model based on a railway infrastructure is used to illustrate the concepts introduced by the paper." @default.
- W2080202009 created "2016-06-24" @default.
- W2080202009 creator A5010808381 @default.
- W2080202009 creator A5032559468 @default.
- W2080202009 creator A5037708866 @default.
- W2080202009 creator A5045567395 @default.
- W2080202009 creator A5053762772 @default.
- W2080202009 creator A5073726612 @default.
- W2080202009 date "2010-01-01" @default.
- W2080202009 modified "2023-09-23" @default.
- W2080202009 title "Multiformalism techniques for critical infrastructure modelling" @default.
- W2080202009 doi "https://doi.org/10.1504/ijsse.2010.035379" @default.
- W2080202009 hasPublicationYear "2010" @default.
- W2080202009 type Work @default.
- W2080202009 sameAs 2080202009 @default.
- W2080202009 citedByCount "3" @default.
- W2080202009 countsByYear W20802020092012 @default.
- W2080202009 countsByYear W20802020092016 @default.
- W2080202009 crossrefType "journal-article" @default.
- W2080202009 hasAuthorship W2080202009A5010808381 @default.
- W2080202009 hasAuthorship W2080202009A5032559468 @default.
- W2080202009 hasAuthorship W2080202009A5037708866 @default.
- W2080202009 hasAuthorship W2080202009A5045567395 @default.
- W2080202009 hasAuthorship W2080202009A5053762772 @default.
- W2080202009 hasAuthorship W2080202009A5073726612 @default.
- W2080202009 hasConcept C111472728 @default.
- W2080202009 hasConcept C115903868 @default.
- W2080202009 hasConcept C120314980 @default.
- W2080202009 hasConcept C124304363 @default.
- W2080202009 hasConcept C127413603 @default.
- W2080202009 hasConcept C138885662 @default.
- W2080202009 hasConcept C201995342 @default.
- W2080202009 hasConcept C206588197 @default.
- W2080202009 hasConcept C2779478453 @default.
- W2080202009 hasConcept C41008148 @default.
- W2080202009 hasConcept C54355233 @default.
- W2080202009 hasConcept C548081761 @default.
- W2080202009 hasConcept C77019957 @default.
- W2080202009 hasConcept C80444323 @default.
- W2080202009 hasConcept C86803240 @default.
- W2080202009 hasConceptScore W2080202009C111472728 @default.
- W2080202009 hasConceptScore W2080202009C115903868 @default.
- W2080202009 hasConceptScore W2080202009C120314980 @default.
- W2080202009 hasConceptScore W2080202009C124304363 @default.
- W2080202009 hasConceptScore W2080202009C127413603 @default.
- W2080202009 hasConceptScore W2080202009C138885662 @default.
- W2080202009 hasConceptScore W2080202009C201995342 @default.
- W2080202009 hasConceptScore W2080202009C206588197 @default.
- W2080202009 hasConceptScore W2080202009C2779478453 @default.
- W2080202009 hasConceptScore W2080202009C41008148 @default.
- W2080202009 hasConceptScore W2080202009C54355233 @default.
- W2080202009 hasConceptScore W2080202009C548081761 @default.
- W2080202009 hasConceptScore W2080202009C77019957 @default.
- W2080202009 hasConceptScore W2080202009C80444323 @default.
- W2080202009 hasConceptScore W2080202009C86803240 @default.
- W2080202009 hasIssue "1" @default.
- W2080202009 hasLocation W20802020091 @default.
- W2080202009 hasOpenAccess W2080202009 @default.
- W2080202009 hasPrimaryLocation W20802020091 @default.
- W2080202009 hasRelatedWork W1556611670 @default.
- W2080202009 hasRelatedWork W1568353635 @default.
- W2080202009 hasRelatedWork W2014299913 @default.
- W2080202009 hasRelatedWork W2062371367 @default.
- W2080202009 hasRelatedWork W2073429557 @default.
- W2080202009 hasRelatedWork W2098672555 @default.
- W2080202009 hasRelatedWork W2131630752 @default.
- W2080202009 hasRelatedWork W2256788659 @default.
- W2080202009 hasRelatedWork W2401796899 @default.
- W2080202009 hasRelatedWork W2735533971 @default.
- W2080202009 hasVolume "2" @default.
- W2080202009 isParatext "false" @default.
- W2080202009 isRetracted "false" @default.
- W2080202009 magId "2080202009" @default.
- W2080202009 workType "article" @default.