"80-86583-10-4" . . . . "26230" . . "Stru\u017Eka, Petr" . . "[DB9D12815534]" . "Sborn\u00EDk p\u0159\u00EDsp\u011Bvk\u016F z XXVIII. konference EurOpen.CZ, 21.-24. kv\u011Btna 2006" . . "Formal Views on Rapid Application Development with Processor Expert" . "Processor Expert is an advanced, component oriented, open, rapid application development (RAD) environement for embedded systems. There are tools supporting formalisms in software development. Some of them, in particular Matlab Simulink and State Builder, can be used  in connection with Processor Expert. Thus, we can obtain mutually advantageous connection.
" . "P(1ET400750406), S" . . . . . . "2"^^ . "Processor Expert is an advanced, component oriented, open, rapid application development (RAD) environement for embedded systems. There are tools supporting formalisms in software development. Some of them, in particular Matlab Simulink and State Builder, can be used  in connection with Processor Expert. Thus, we can obtain mutually advantageous connection.
"@en . "Kol\u00E1\u0159, Du\u0161an" . . . "2"^^ . . "Chudenice" . "476160" . . "Formal Views on Rapid Application Development with Processor Expert"@en . "RIV/00216305:26230/06:PU66945" . . "Plze\u0148" . "Formal Views on Rapid Application Development with Processor Expert"@en . "Czech Open Systems User's Group" . . "Formal Views on Rapid Application Development with Processor Expert" . "RIV/00216305:26230/06:PU66945!RIV10-MSM-26230___" . . "12"^^ . . . . . "2006-05-21+02:00"^^ . "formal description, Processor Expert, Embedded Beans, rapid application development, model based development, Processor Expert Blockset, State Builder
"@en .