"07" . "422367" . "26230" . . "SK - Slovensk\u00E1 republika" . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/druh\u00E1 \u010D\u00E1st/)" . . . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/druh\u00E1 \u010D\u00E1st/)"@cs . . . . "RIV/00216305:26230/07:PU76665!RIV10-MSM-26230___" . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/druh\u00E1 \u010D\u00E1st/)"@cs . "S, Z(MSM7088352102)" . "[5C542D7DC58B]" . . . . "One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent code generation."@en . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/druh\u00E1 \u010D\u00E1st/)" . . "embedded systems, formal design, source code"@en . "RIV/00216305:26230/07:PU76665" . . "1335-2237" . . "AT&P Journal" . "Bli\u017E\u0148\u00E1k, Michal" . "2"^^ . "2"^^ . . "Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/)"@en . "Jeden ze s\u00E9rie t\u0159\u00ED \u010Dl\u00E1nk\u016F pojedn\u00E1vaj\u00EDc\u00EDch o mo\u017Enosti formalizace n\u00E1vrhu software prost\u0159ednictv\u00EDm kone\u010Dn\u00FDch automat\u016F, respektive jejich modifikace s ohledem na aplikace vestav\u011Bn\u00FDch syst\u00E9m\u016F. Text se koncentruje na mo\u017Enosti transformace automatu do k\u00F3du programovac\u00EDho jazyka tak, aby byl vyu\u017Eiteln\u00FD na co nejv\u00EDce platform\u00E1ch."@cs . . "Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/)"@en . . "01" . . . "Jeden ze s\u00E9rie t\u0159\u00ED \u010Dl\u00E1nk\u016F pojedn\u00E1vaj\u00EDc\u00EDch o mo\u017Enosti formalizace n\u00E1vrhu software prost\u0159ednictv\u00EDm kone\u010Dn\u00FDch automat\u016F, respektive jejich modifikace s ohledem na aplikace vestav\u011Bn\u00FDch syst\u00E9m\u016F. Text se koncentruje na mo\u017Enosti transformace automatu do k\u00F3du programovac\u00EDho jazyka tak, aby byl vyu\u017Eiteln\u00FD na co nejv\u00EDce platform\u00E1ch." . "2"^^ . "Kol\u00E1\u0159, Du\u0161an" .