About: Model checking in IPv6 Hardware Router Design

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Model checking in IPv6 Hardware Router Design Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.cesnet.cz/doc/techzpravy/
Description	This report contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given. This report contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given. (en)
Title	Model checking in IPv6 Hardware Router Design Model checking in IPv6 Hardware Router Design (en)
skos:prefLabel	Model checking in IPv6 Hardware Router Design Model checking in IPv6 Hardware Router Design (en)
skos:notation	RIV/63839172:_____/02:00000028!RIV/2003/MSM/000003/N
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM 000000001)
http://linked.open...vai/riv/dodaniDat	2003
http://linked.open...aciTvurceVysledku	Šafránek, David Řehák, Vojtěch
http://linked.open.../riv/druhVysledku	A(V) - Audiovizuální tvorba se vzdáleným přístupem
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	CESNET - zájmové sdružení právnických osob
http://linked.open...dnocenehoVysledku	653668
http://linked.open...ai/riv/idVysledku	RIV/63839172:_____/02:00000028
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	formal verification;model checking;IPv6 (en)
http://linked.open.../riv/klicoveSlovo	model checking formal verification IPv6
http://linked.open...i/riv/kodPristupu	V
http://linked.open...ontrolniKodProRIV	[08BB54A63955]
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...UplatneniVysledku	2002
http://linked.open...iv/tvurceVysledku	Barnat, Jiří Šafránek, David Řehák, Vojtěch Brazdil, Tomas Krcal, Pavel
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20000000001
number of pages	0 (xsd:int)

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software