About: Automatická verifikace programů s dynamickými datovými strukturami

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

About: Automatická verifikace programů s dynamickými datovými strukturami 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
Description	Článek představuje základní téma, koncepci a výsledky úspěšné mezinárodní výzkumné skupiny zabývající se verifikací programů s dynamickými datovými strukturami. Článek představuje základní téma, koncepci a výsledky úspěšné mezinárodní výzkumné skupiny zabývající se verifikací programů s dynamickými datovými strukturami. (cs) The paper introduces the basic topic, conception and results of a successful international research group addressing verification of programs with dynamic data structures.<br> (en)
Title	Automatická verifikace programů s dynamickými datovými strukturami Automatic Verification of Progams with Dynamic Data Structures (en) Automatická verifikace programů s dynamickými datovými strukturami (cs)
skos:prefLabel	Automatická verifikace programů s dynamickými datovými strukturami Automatic Verification of Progams with Dynamic Data Structures (en) Automatická verifikace programů s dynamickými datovými strukturami (cs)
skos:notation	RIV/00216305:26230/08:PU76688!RIV10-MSM-26230___
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...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Holík, Lukáš Češka, Milan Vojnar, Tomáš Rogalewicz, Adam Erlebach, Pavel
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	357420
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU76688
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	Formal Verification, Model Checking, Programs with Dynamic Data Structures, Finite Automata, ARTMC, Pattern-Based Verification, Termination Checking<br> (en)
http://linked.open.../riv/klicoveSlovo	Model Checking Finite Automata ARTMC Formal Verification Pattern-Based Verification Programs with Dynamic Data Structures Termination Checking<br>
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[FD1508A682F4]
http://linked.open...i/riv/nazevZdroje	Inovační podnikání & transfer technologií
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	9 (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	2008
http://linked.open...v/svazekPeriodika	2008
http://linked.open...iv/tvurceVysledku	Holík, Lukáš Vojnar, Tomáš Češka, Milan Habermehl, Peter Rogalewicz, Adam Bouajjani, Ahmed Moro, Pierre Erlebach, Pavel Touili, Tayssir
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	1210-4612
number of pages	2 (xsd:int)
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Automatická verifikace programů s dynamickými datovými strukturami Automatická verifikace programů s dynamickými datovými strukturami Automatická verifikace programů s dynamickými datovými strukturami Automatická verifikace programů s dynamickými datovými strukturami

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, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software