About: Model based development of Java embedded applications     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
  • This paper presents a model based method of testing and verification of Java concurrent control programs aimed for embedded devices. Threads of the control program are mapped onto simulation processes, that can be executed using discrete mode-time concep
  • This paper presents a model based method of testing and verification of Java concurrent control programs aimed for embedded devices. Threads of the control program are mapped onto simulation processes, that can be executed using discrete mode-time concep (en)
  • Článek popisuje metodu testování a ověřování paralelních řídicích Java programů pro vestavěná zařízení, která je založena na modelování. Vlákna řídicího programu jsou mapována na simulační procesy, které mohou běžet v diskrétním modelovém čase. (cs)
Title
  • Vývoj vestavěných aplikací v jazyce Java založený na modelování (cs)
  • Model based development of Java embedded applications
  • Model based development of Java embedded applications (en)
skos:prefLabel
  • Vývoj vestavěných aplikací v jazyce Java založený na modelování (cs)
  • Model based development of Java embedded applications
  • Model based development of Java embedded applications (en)
skos:notation
  • RIV/49777513:23520/04:00000134!RIV/2005/GA0/235205/N
http://linked.open.../vavai/riv/strany
  • 84-85
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/03/0672)
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
  • 573882
http://linked.open...ai/riv/idVysledku
  • RIV/49777513:23520/04:00000134
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Java; concurrency; embedded devices; J-Sim; testing; verification (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [02DAC1A1E58E]
http://linked.open...v/mistoKonaniAkce
  • Marne la Vallée
http://linked.open...i/riv/mistoVydani
  • Paris
http://linked.open...i/riv/nazevZdroje
  • Proceedings of the 5th EUROSIM congress on modeling and simulation
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Racek, Stanislav
  • Kačer, Jaroslav
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • EuroSim
https://schema.org/isbn
  • 3-901608-28-1
http://localhost/t...ganizacniJednotka
  • 23520
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software