This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n5http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n19http://purl.org/net/nknouf/ns/bibtex#
n15http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n21https://schema.org/
n16http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F02%3A00006552%21RIV%2F2003%2FGA0%2F272403%2FN/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F02%3A00006552%21RIV%2F2003%2FGA0%2F272403%2FN
rdf:type
skos:Concept n12:Vysledek
dcterms:description
Progress on the area of embedded control systems is rapidly growing. This paper describes the methodology of their development. The output of modeling and design systems is the source code of used microprocessor. We use for the design the development environment Rhapsody by I-Logix. Applications with Motorola HC12 microprocessors are used the Rhapsody in MicroC by I-Logix integrating Metrowerks (Hiware) C-compiler and source debugger. Progress on the area of embedded control systems is rapidly growing. This paper describes the methodology of their development. The output of modeling and design systems is the source code of used microprocessor. We use for the design the development environment Rhapsody by I-Logix. Applications with Motorola HC12 microprocessors are used the Rhapsody in MicroC by I-Logix integrating Metrowerks (Hiware) C-compiler and source debugger.
dcterms:title
Using Formal Methods for Designing Embedded Control Systems Using Formal Methods for Designing Embedded Control Systems
skos:prefLabel
Using Formal Methods for Designing Embedded Control Systems Using Formal Methods for Designing Embedded Control Systems
skos:notation
RIV/61989100:27240/02:00006552!RIV/2003/GA0/272403/N
n4:strany
77;84
n4:aktivita
n9:P n9:Z
n4:aktivity
P(GA102/02/1032), Z(MSM 272400013)
n4:dodaniDat
n10:2003
n4:domaciTvurceVysledku
n13:8220123 n13:8196141
n4:druhVysledku
n22:D
n4:duvernostUdaju
n14:S
n4:entitaPredkladatele
n20:predkladatel
n4:idSjednocenehoVysledku
668131
n4:idVysledku
RIV/61989100:27240/02:00006552
n4:jazykVysledku
n6:eng
n4:klicovaSlova
Computer control, Model, Microprocessors, Fieldbus, Real time operating system
n4:klicoveSlovo
n11:Model n11:Microprocessors n11:Computer%20control n11:Fieldbus n11:Real%20time%20operating%20system
n4:kontrolniKodProRIV
[6074F5485EBC]
n4:mistoKonaniAkce
Lund, Švédsko
n4:mistoVydani
Stirling
n4:nazevZdroje
Joint Workshop on Formal Specifications of Computer-Based Systems
n4:obor
n7:JD
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:pocetUcastnikuAkce
0
n4:pocetZahranicnichUcastnikuAkce
0
n4:projekt
n8:GA102%2F02%2F1032
n4:rokUplatneniVysledku
n10:2002
n4:tvurceVysledku
Kotzian, Jiří Srovnal, Vilém
n4:typAkce
n5:WRD
n4:zahajeniAkce
2002-04-10+02:00
n4:zamer
n16:MSM%20272400013
s:numberOfPages
98
n19:hasPublisher
University of Stirling
n21:isbn
1-85769-169-5
n15:organizacniJednotka
27240