"Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 1/)"@en . "2"^^ . . . "embedded systems, formal design, source code
"@en . "26230" . "[25DA1B3AEBA7]" . . . "2"^^ . "Bli\u017E\u0148\u00E1k, Michal" . "1335-2237" . "06" . "Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 1/)"@en . "AT&P Journal" . "S" . . . . . . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/prvn\u00ED \u010D\u00E1st/)"@cs . "12" . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/prvn\u00ED \u010D\u00E1st/)" . . . . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/prvn\u00ED \u010D\u00E1st/)"@cs . "RIV/00216305:26230/06:PU76664" . "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.
" . "RIV/00216305:26230/06:PU76664!RIV10-MSM-26230___" . "476168" . "Form\u00E1ln\u00ED metody n\u00E1vrhu software aplikovan\u00E9 na embedded syst\u00E9my: Platformn\u011B nez\u00E1visl\u00FD zdrojov\u00FD k\u00F3d (/prvn\u00ED \u010D\u00E1st/)" . . . "Kol\u00E1\u0159, Du\u0161an" . "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 . "2"^^ . . "SK - Slovensk\u00E1 republika" . "One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent code generation.
"@en .