Monday, October 21, 2013

Monday, October 21, 2013 — 3:00 PM EDT

Candidate

Samaneh Navabpour

Title

Time-triggered Verification of Real-time Embedded Systems

Supervisor

Fischmeister, Sebastian

Abstract

S M T W T F S
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
  1. 2023 (54)
    1. June (1)
    2. May (7)
    3. April (24)
    4. March (12)
    5. February (2)
    6. January (8)
  2. 2022 (157)
    1. December (16)
    2. November (15)
    3. October (14)
    4. September (19)
    5. August (23)
    6. July (15)
    7. June (3)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (11)
  3. 2021 (130)
  4. 2020 (246)
  5. 2019 (282)
  6. 2018 (150)
  7. 2017 (212)
  8. 2016 (242)
  9. 2015 (242)
  10. 2014 (268)
  11. 2013 (190)
    1. December (25)
    2. November (20)
    3. October (10)
    4. September (32)
    5. August (24)
    6. July (20)
    7. June (5)
    8. May (10)
    9. April (17)
    10. March (7)
    11. February (8)
    12. January (12)
  12. 2012 (31)