Talk: Formal methods for critical safety HCI system (Prof. Palanque, 2016-06-06)

Talk: Formal methods for critical safety HCI systems design and test
Speaker: Professor Pilippe Palanque, Head of the Interactive Critical Systems team-Institut de Recherche
…………….Université Toulouse III Paul Savatier.
When: June 6th 2016, from 16:00 to 17:15
oom Ada Lovelace
Organizer: Egokituz and LoRea research groups

Besides, on June 6th, 2016 11:30-13:00, Prof. Palanque will also conduct a Seminar on “Verification of interactive systems” [open to faculty researchers and master students. Registration required: info@egokituz.org].

Iruzkin bat honentzako: Talk: Formal methods for critical safety HCI system (Prof. Palanque, 2016-06-06)

Erantzuna idatzi

 

 

 

HTML etiketa hauek erabil ditzakezu

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>