No.017 Quantitative methods in security and safety critical applications

Icon

NII Shonan Meeting Seminar 017

Participants

Mário S. Alvim

Yifeng Chen

Kostas Chatzikokolakis

Ansgar Fehnker

Robbert van Glabbeek

Zhenjiang Hu

Friedrich Gretz

Raju Halder

Peter Höfner

David Jansen

Joost-Pieter Katoen

Yang Liu

Kazuto Matsui

Larissa Meinicke

Ron van der Meyden

Catuscia Palamidessi

Shengchao Qin

Tahiry Rabehaja

Steve Schneider

Jun Sun

Mingsheng Ying

Nobukazu Yoshioka

Category: Participants

Tagged:

Comments are closed.