About: Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09)

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

About: Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09) 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	The proceedings include the accepted regular papers (edited by the PC chairs Jens Happe and Barbora Zimmerova) of the FESCA 2009 workshop, held on 28th March 2009, in York, UK, as a satellite event of ETAPS conference. The proceedings include the accepted regular papers (edited by the PC chairs Jens Happe and Barbora Zimmerova) of the FESCA 2009 workshop, held on 28th March 2009, in York, UK, as a satellite event of ETAPS conference. (en)
Title	Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09) Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09) (en)
skos:prefLabel	Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09) Proceedings of the 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09) (en)
skos:notation	RIV/00216224:14330/09:00028737!RIV10-MSM-14330___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(1ET400300504), S
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Bühnová, Barbora
http://linked.open.../riv/druhVysledku	O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku
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	336679
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/09:00028737
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Software architectures; formal methods; modelling languages; quality attributes (en)
http://linked.open.../riv/klicoveSlovo	formal methods Software architectures modelling languages quality attributes
http://linked.open...ontrolniKodProRIV	[F32E35E04F24]
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Realistic application of formal methods in component systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Bühnová, Barbora Happe, Jens
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