Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182289315> ?p ?o ?g. }
- W2182289315 abstract "This article is directed primarily at the problem of developing a more reliable multi-agent based systems, because the paradigm of multi-agent systems, which offers an original way of modeling, is considered as an appropriate method that faces the problem of modeling, and it is present in the most of sectors: telecommunications, finance, Internet, energy, health, embedded systems ... etc. Therefore, it is crucial to have rigorous, automatic and effective design and checking methods to ensure their development. The main objective of this paper is to present and discuss a new approach for the formal specification and verification of agent based modeling system. In addition, our approach is based on rewriting logic, includes a well-known and effective verification technique, model checking, and allows independent of the used formalism to verify a large set of interesting properties deemed relevant on multi-agent based system." @default.
- W2182289315 created "2016-06-24" @default.
- W2182289315 creator A5025247712 @default.
- W2182289315 creator A5053685526 @default.
- W2182289315 date "2011-01-01" @default.
- W2182289315 modified "2023-09-27" @default.
- W2182289315 title "Towards the Formal Specification and Verification of Multi-agent Based Systems" @default.
- W2182289315 cites W1490911218 @default.
- W2182289315 cites W1502491956 @default.
- W2182289315 cites W1504826261 @default.
- W2182289315 cites W1510782929 @default.
- W2182289315 cites W1548720583 @default.
- W2182289315 cites W1549012801 @default.
- W2182289315 cites W1567901628 @default.
- W2182289315 cites W1578573078 @default.
- W2182289315 cites W1592747960 @default.
- W2182289315 cites W1597355050 @default.
- W2182289315 cites W166073988 @default.
- W2182289315 cites W1851051181 @default.
- W2182289315 cites W1865292956 @default.
- W2182289315 cites W1964024754 @default.
- W2182289315 cites W1976195354 @default.
- W2182289315 cites W1988495336 @default.
- W2182289315 cites W2004172447 @default.
- W2182289315 cites W2018733332 @default.
- W2182289315 cites W2019881090 @default.
- W2182289315 cites W2052992098 @default.
- W2182289315 cites W2071220031 @default.
- W2182289315 cites W2074079930 @default.
- W2182289315 cites W2090398333 @default.
- W2182289315 cites W2102548669 @default.
- W2182289315 cites W2111877087 @default.
- W2182289315 cites W2113418493 @default.
- W2182289315 cites W2113811859 @default.
- W2182289315 cites W2117189826 @default.
- W2182289315 cites W2124344619 @default.
- W2182289315 cites W2128924604 @default.
- W2182289315 cites W2133939266 @default.
- W2182289315 cites W2134228617 @default.
- W2182289315 cites W2141164219 @default.
- W2182289315 cites W2150208864 @default.
- W2182289315 cites W2150704630 @default.
- W2182289315 cites W2154999312 @default.
- W2182289315 cites W2155272711 @default.
- W2182289315 cites W2160851181 @default.
- W2182289315 cites W2163014247 @default.
- W2182289315 cites W2165558305 @default.
- W2182289315 cites W2165945517 @default.
- W2182289315 cites W2169568754 @default.
- W2182289315 cites W2226902071 @default.
- W2182289315 cites W2380562331 @default.
- W2182289315 cites W2431139695 @default.
- W2182289315 cites W2513966761 @default.
- W2182289315 cites W262321538 @default.
- W2182289315 cites W43173556 @default.
- W2182289315 cites W44463927 @default.
- W2182289315 cites W6210312 @default.
- W2182289315 hasPublicationYear "2011" @default.
- W2182289315 type Work @default.
- W2182289315 sameAs 2182289315 @default.
- W2182289315 citedByCount "0" @default.
- W2182289315 crossrefType "journal-article" @default.
- W2182289315 hasAuthorship W2182289315A5025247712 @default.
- W2182289315 hasAuthorship W2182289315A5053685526 @default.
- W2182289315 hasConcept C110251889 @default.
- W2182289315 hasConcept C111498074 @default.
- W2182289315 hasConcept C115903868 @default.
- W2182289315 hasConcept C116253237 @default.
- W2182289315 hasConcept C142362112 @default.
- W2182289315 hasConcept C153349607 @default.
- W2182289315 hasConcept C154690210 @default.
- W2182289315 hasConcept C154945302 @default.
- W2182289315 hasConcept C199360897 @default.
- W2182289315 hasConcept C41008148 @default.
- W2182289315 hasConcept C41550386 @default.
- W2182289315 hasConcept C558565934 @default.
- W2182289315 hasConcept C73301696 @default.
- W2182289315 hasConcept C75606506 @default.
- W2182289315 hasConceptScore W2182289315C110251889 @default.
- W2182289315 hasConceptScore W2182289315C111498074 @default.
- W2182289315 hasConceptScore W2182289315C115903868 @default.
- W2182289315 hasConceptScore W2182289315C116253237 @default.
- W2182289315 hasConceptScore W2182289315C142362112 @default.
- W2182289315 hasConceptScore W2182289315C153349607 @default.
- W2182289315 hasConceptScore W2182289315C154690210 @default.
- W2182289315 hasConceptScore W2182289315C154945302 @default.
- W2182289315 hasConceptScore W2182289315C199360897 @default.
- W2182289315 hasConceptScore W2182289315C41008148 @default.
- W2182289315 hasConceptScore W2182289315C41550386 @default.
- W2182289315 hasConceptScore W2182289315C558565934 @default.
- W2182289315 hasConceptScore W2182289315C73301696 @default.
- W2182289315 hasConceptScore W2182289315C75606506 @default.
- W2182289315 hasLocation W21822893151 @default.
- W2182289315 hasOpenAccess W2182289315 @default.
- W2182289315 hasPrimaryLocation W21822893151 @default.
- W2182289315 hasRelatedWork W121276952 @default.
- W2182289315 hasRelatedWork W129252264 @default.
- W2182289315 hasRelatedWork W1502015607 @default.
- W2182289315 hasRelatedWork W1983509293 @default.
- W2182289315 hasRelatedWork W1983673878 @default.