Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
Pattern-Based Verification for Trees
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)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
Rozšířený abstrakt shrnující rozšíření verifikace založené na vzorech na stromové struktury.
(cs)
Extended abstract introducing the extension for Pattern-Based Verification needed to handling the tree structures.
Extended abstract introducing the extension for Pattern-Based Verification needed to handling the tree structures.
(en)
Title
Pattern-Based Verification for Trees
Pattern-Based Verification for Trees
(en)
Pattern-Based Verification for Trees
(cs)
skos:prefLabel
Pattern-Based Verification for Trees
Pattern-Based Verification for Trees
(en)
Pattern-Based Verification for Trees
(cs)
skos:notation
RIV/00216305:26230/07:PU70774!RIV08-MSM-26230___
http://linked.open.../vavai/riv/strany
181-182
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GA102/04/0780), P(GA102/07/0322), P(GD102/05/H050), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat
2008
http://linked.open...aciTvurceVysledku
Češka, Milan
Vojnar, Tomáš
Erlebach, Pavel
http://linked.open.../riv/druhVysledku
D - Článek ve sborníku
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
Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku
440831
http://linked.open...ai/riv/idVysledku
RIV/00216305:26230/07:PU70774
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
Pattern-Based Verification, Trees, Formal verification
(en)
http://linked.open.../riv/klicoveSlovo
Formal verification
Trees
Pattern-Based Verification
http://linked.open...ontrolniKodProRIV
[4D308E25D1FB]
http://linked.open...v/mistoKonaniAkce
Las Palmas, Gran Canaria
http://linked.open...i/riv/mistoVydani
Las Palmas
http://linked.open...i/riv/nazevZdroje
Computer Aided Systems Theory
http://linked.open...in/vavai/riv/obor
JC
http://linked.open...ichTvurcuVysledku
3
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
3
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems
Automated methods and tools supporting development of reliable concurrent and distributed systems
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems
http://linked.open...UplatneniVysledku
2007
http://linked.open...iv/tvurceVysledku
Vojnar, Tomáš
Češka, Milan
Erlebach, Pavel
http://linked.open...vavai/riv/typAkce
WRD - Světová
http://linked.open.../riv/zahajeniAkce
2007-02-12
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
Výzkum informačních technologií z hlediska bezpečnosti
number of pages
2
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
Neuveden
https://schema.org/isbn
978-84-690-3603-7
http://localhost/t...ganizacniJednotka
26230
is
http://linked.open...avai/riv/vysledek
of
Pattern-Based Verification for Trees
Pattern-Based Verification for Trees
Pattern-Based Verification for Trees
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