About: Using Formal Methods for Designing Embedded Control Systems     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)

AttributesValues
rdf:type
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. (en)
Title
  • Using Formal Methods for Designing Embedded Control Systems
  • Using Formal Methods for Designing Embedded Control Systems (en)
skos:prefLabel
  • Using Formal Methods for Designing Embedded Control Systems
  • Using Formal Methods for Designing Embedded Control Systems (en)
skos:notation
  • RIV/61989100:27240/02:00006552!RIV/2003/GA0/272403/N
http://linked.open.../vavai/riv/strany
  • 77;84
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/02/1032), Z(MSM 272400013)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 668131
http://linked.open...ai/riv/idVysledku
  • RIV/61989100:27240/02:00006552
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Computer control, Model, Microprocessors, Fieldbus, Real time operating system (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [6074F5485EBC]
http://linked.open...v/mistoKonaniAkce
  • Lund, Švédsko
http://linked.open...i/riv/mistoVydani
  • Stirling
http://linked.open...i/riv/nazevZdroje
  • Joint Workshop on Formal Specifications of Computer-Based Systems
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...ocetUcastnikuAkce
http://linked.open...nichUcastnikuAkce
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Srovnal, Vilém
  • Kotzian, Jiří
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • University of Stirling
https://schema.org/isbn
  • 1-85769-169-5
http://localhost/t...ganizacniJednotka
  • 27240
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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