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:
STANSE: Bug-finding Framework for C Programs
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
Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
Regular paper accepted at the MEMICS 2011 workshop. The paper deals with static analysis. It also describes a framework and tool called Stanse.
(en)
Title
STANSE: Bug-finding Framework for C Programs
STANSE: Bug-finding Framework for C Programs
(en)
skos:prefLabel
STANSE: Bug-finding Framework for C Programs
STANSE: Bug-finding Framework for C Programs
(en)
skos:notation
RIV/00216224:14330/12:00067325!RIV14-MSM-14330___
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(1M0545), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat
2014
http://linked.open...aciTvurceVysledku
Trtík, Marek
Obdržálek, Jan
Slabý, Jiří
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
Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku
171069
http://linked.open...ai/riv/idVysledku
RIV/00216224:14330/12:00067325
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
Bug-finding; static analysis; framework; checker
(en)
http://linked.open.../riv/klicoveSlovo
framework
static analysis
Bug-finding
checker
http://linked.open...ontrolniKodProRIV
[EE4F99F4C949]
http://linked.open...v/mistoKonaniAkce
Lednice, Czech Republic
http://linked.open...i/riv/mistoVydani
Brno
http://linked.open...i/riv/nazevZdroje
LNCS Proceeding of Memics 2011
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
Institute for Theoretical Computer Science
http://linked.open...UplatneniVysledku
2012
http://linked.open...iv/tvurceVysledku
Obdržálek, Jan
Trtík, Marek
Slabý, Jiří
http://linked.open...vavai/riv/typAkce
WRD - Světová
http://linked.open.../riv/zahajeniAkce
2012-01-01
(
xsd:date
)
http://linked.open...n/vavai/riv/zamer
Highly Parallel and Distributed Computing Systems
issn
0302-9743
number of pages
12
(
xsd:int
)
http://bibframe.org/vocab/doi
10.1007/978-3-642-25929-6_16
http://purl.org/ne...btex#hasPublisher
Springer-Verlag
https://schema.org/isbn
9783642259289
http://localhost/t...ganizacniJednotka
14330
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