. "[C324C8CE1833]" . "23520" . . "Brada, P\u0159emysl" . "The role of simulation in dependable application development" . . . "SQS" . . "\u010Dl\u00E1nek popisuje vyu\u017Eit\u00ED simulace pro ov\u011B\u0159en\u00ED spolehlivosti zapouzd\u0159en\u00FDch aplikac\u00ED, a v\u00FDsledn\u00E9 \u00FAspory n\u00E1klad\u016F na v\u00FDvoj."@cs . "\u00DAloha simulace ve v\u00FDvoji spolehliv\u00FDch aplikac\u00ED"@cs . "The role of simulation in dependable application development"@en . "RIV/49777513:23520/03:00000042" . . "625920" . "\u00DAloha simulace ve v\u00FDvoji spolehliv\u00FDch aplikac\u00ED"@cs . . . "The role of simulation in dependable application development"@en . . "The paper describes how simulation as a means of verification can reduce the effort of embedded application development. A C-Sim based simulation is used for testing prior to transfer to silicon implementation."@en . "P(GA102/03/0672)" . "Grillinger, Petr" . "RIV/49777513:23520/03:00000042!RIV07-GA0-23520___" . "2003-01-01+01:00"^^ . . "dependable applications; verification; simulation; development process"@en . "The role of simulation in dependable application development" . . . "2"^^ . "Bilbao" . . . . "Bilbao" . "1-18" . "The paper describes how simulation as a means of verification can reduce the effort of embedded application development. A C-Sim based simulation is used for testing prior to transfer to silicon implementation." . "18"^^ . . . . "ICSTEST-E 2003" . "2"^^ .