About: Effective verification of systems with a dynamic number of components

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

About: Effective verification of systems with a dynamic number of components 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	In the paper, we present a novel approach to verification of dynamic component-based systems, the systems that can have a changing number of components over their life-time. In the paper, we present a novel approach to verification of dynamic component-based systems, the systems that can have a changing number of components over their life-time. (en)
Title	Effective verification of systems with a dynamic number of components Effective verification of systems with a dynamic number of components (en)
skos:prefLabel	Effective verification of systems with a dynamic number of components Effective verification of systems with a dynamic number of components (en)
skos:notation	RIV/00216224:14330/07:00019481!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET400300504), P(1ET408050503), P(1M0545), P(GD102/05/H050), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Moravec, Pavel Černá, Ivana Moravcová Vařeková, Pavlína Bühnová, Barbora
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	419220
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/07:00019481
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Component-based systems; dynamic number of components; finite-state systems; formal verification (en)
http://linked.open.../riv/klicoveSlovo	Component-based systems formal verification dynamic number of components finite-state systems
http://linked.open...ontrolniKodProRIV	[C0A9E152DFCC]
http://linked.open...v/mistoKonaniAkce	Dubrovnik, Croatia
http://linked.open...i/riv/mistoVydani	New York, NY, USA
http://linked.open...i/riv/nazevZdroje	Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems Techniques for automatic verification and validation of software and hardware systems Realistic application of formal methods in component systems
http://linked.open...UplatneniVysledku	2007
http://linked.open...iv/tvurceVysledku	Moravec, Pavel Černá, Ivana Bühnová, Barbora Moravcová Vařeková, Pavlína
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2007-09-03 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
number of pages	11 (xsd:int)
http://purl.org/ne...btex#hasPublisher	ACM Press
https://schema.org/isbn	978-1-59593-721-6
http://localhost/t...ganizacniJednotka	14330
is http://linked.open...avai/riv/vysledek of	Effective verification of systems with a dynamic number of components Effective verification of systems with a dynamic number of components Effective verification of systems with a dynamic number of components

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