Difference between revisions of "Sügis 2010"
From ATI public wiki
| Line 12: | Line 12: | ||
21/10 Hanno Hantson - mutatsiooni testist | 21/10 Hanno Hantson - mutatsiooni testist | ||
| − | + | 4/11 Anna Krivenko - identifying sequential untestability | |
| + | |||
| + | 11/11 Anton Karpotkin - SMT | ||
Revision as of 11:08, 14 October 2010
Seminarid toimuvad neljapäeviti, 12:00-14:00
13/09 kell 11:00 (erandkorras esmaspäeval), Erkki Moorits, Low Resource Demanding Firmware Over the Air Updating Method For Remote AtoN Site Equipment
30/09, kell 12:00: BEC try-outs: Vadim, Helena, Dmitri
01/10, kell 12:00: BEC try-outs: Maksim G., Sergei, Uljana.
14/10 Urmas Repinski- simulation based design error diagnosis
21/10 Hanno Hantson - mutatsiooni testist
4/11 Anna Krivenko - identifying sequential untestability
11/11 Anton Karpotkin - SMT
