About: Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/)

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

About: Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) 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	One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent code generation. (en) Jeden ze série tří článků pojednávajících o možnosti formalizace návrhu software prostřednictvím konečných automatů, respektive jejich modifikace s ohledem na aplikace vestavěných systémů. Text se koncentruje na možnosti transformace automatu do kódu programovacího jazyka tak, aby byl využitelný na co nejvíce platformách. Jeden ze série tří článků pojednávajících o možnosti formalizace návrhu software prostřednictvím konečných automatů, respektive jejich modifikace s ohledem na aplikace vestavěných systémů. Text se koncentruje na možnosti transformace automatu do kódu programovacího jazyka tak, aby byl využitelný na co nejvíce platformách. (cs)
Title	Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) (cs) Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/) (en)
skos:prefLabel	Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) (cs) Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/) (en)
skos:notation	RIV/00216305:26230/07:PU76665!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	S Z
http://linked.open...avai/riv/aktivity	S, Z(MSM7088352102)
http://linked.open...iv/cisloPeriodika	01
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Bližňák, Michal Kolář, Dušan
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	422367
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/07:PU76665
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	embedded systems, formal design, source code (en)
http://linked.open.../riv/klicoveSlovo	formal design source code embedded systems
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[5C542D7DC58B]
http://linked.open...i/riv/nazevZdroje	AT&P Journal
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2007
http://linked.open...v/svazekPeriodika	07
http://linked.open...iv/tvurceVysledku	Kolář, Dušan Bližňák, Michal
http://linked.open...n/vavai/riv/zamer	Modeling and Control of Processing Procedures of Natural and Synthetic Polymers
issn	1335-2237
number of pages	2 (xsd:int)
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/) Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/)

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