Difference between revisions of "Sügis 2010"

From ATI public wiki
Jump to: navigation, search
Line 12: Line 12:
 
21/10 Hanno Hantson - mutatsiooni testist
 
21/10 Hanno Hantson - mutatsiooni testist
  
28/10 Anna Krivenko - identifying sequential untestability
+
4/11 Anna Krivenko - identifying sequential untestability
 +
 
 +
11/11 Anton Karpotkin - SMT

Revision as of 12: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