Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
Some theoretical aspects of verification (with a focus on bisimilarity)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Electr<strong>on</strong>ic computer era<br />
In 1946, John Mauchly and J Presper Eckert developed<br />
ENIAC I<br />
Electrical Numerical Integrator And Calculator<br />
the world’s first electr<strong>on</strong>ic digital computer<br />
The fascinating era <str<strong>on</strong>g>of</str<strong>on</strong>g> electr<strong>on</strong>ic computers started ...<br />
Petr Jančar (TU Ostrava) <str<strong>on</strong>g>Some</str<strong>on</strong>g> <str<strong>on</strong>g>aspects</str<strong>on</strong>g> <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>verificati<strong>on</strong></str<strong>on</strong>g><br />
Kolloquium Jena, 14 May 2007 23 /<br />
89