This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://localhost/temp/predkladatel/
n19http://purl.org/net/nknouf/ns/bibtex#
n6http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/ontology/domain/vavai/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F10%3APU89655%21RIV11-MSM-26230___/
n20http://linked.opendata.cz/resource/domain/vavai/zamer/
n15https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F10%3APU89655%21RIV11-MSM-26230___
rdf:type
n8:Vysledek skos:Concept
dcterms:description
Formal verification and validation techniques such as model checking are not widely used in computer networks. these methods are very useful to identify configuration errors, identify design problems and predict network behaviors under different network conditions. This paper describes the two main components of the formal verification process, formal modelling and the analysis process. For formal modelling, computer networks configured with dynamic routing protocols such as RIP, OSPF, or EIGRP are considered. For the analysis, reachability and security properties are evaluated as the behavioral properties in the case of device or link failures. Formal verification and validation techniques such as model checking are not widely used in computer networks. these methods are very useful to identify configuration errors, identify design problems and predict network behaviors under different network conditions. This paper describes the two main components of the formal verification process, formal modelling and the analysis process. For formal modelling, computer networks configured with dynamic routing protocols such as RIP, OSPF, or EIGRP are considered. For the analysis, reachability and security properties are evaluated as the behavioral properties in the case of device or link failures.
dcterms:title
Formal Analysis Approach on Networks with Dynamic Behaviours Formal Analysis Approach on Networks with Dynamic Behaviours
skos:prefLabel
Formal Analysis Approach on Networks with Dynamic Behaviours Formal Analysis Approach on Networks with Dynamic Behaviours
skos:notation
RIV/00216305:26230/10:PU89655!RIV11-MSM-26230___
n3:aktivita
n11:Z n11:S
n3:aktivity
S, Z(MSM0021630528)
n3:dodaniDat
n7:2011
n3:domaciTvurceVysledku
n6:3214044 n6:1842919 De Silva, Gayan n6:3876659
n3:druhVysledku
n18:D
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
259538
n3:idVysledku
RIV/00216305:26230/10:PU89655
n3:jazykVysledku
n14:eng
n3:klicovaSlova
formal modelling, networking, reachability, routing, state space reduction
n3:klicoveSlovo
n9:networking n9:state%20space%20reduction n9:routing n9:formal%20modelling n9:reachability
n3:kontrolniKodProRIV
[147F8180B46E]
n3:mistoKonaniAkce
Moscow
n3:mistoVydani
Moscow
n3:nazevZdroje
2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT)
n3:obor
n16:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:rokUplatneniVysledku
n7:2010
n3:tvurceVysledku
Švéda, Miroslav Ryšavý, Ondřej De Silva, Gayan Matoušek, Petr
n3:typAkce
n10:WRD
n3:zahajeniAkce
2010-10-18+02:00
n3:zamer
n20:MSM0021630528
s:numberOfPages
7
n19:hasPublisher
IEEE Computer Society
n15:isbn
978-1-4244-7285-7
n21:organizacniJednotka
26230