Published: 15th March 2017 DOI: 10.4204/EPTCS.244 ISSN: 2075-2180 |
Hubert Garavel | (INRIA, France) |
Jan Friso Groote | (Eindhoven University of Technology, The Netherlands) |
Holger Hermanns | (Saarland University, Germany) |
Peter Höfner | (Data61, CSIRO, Australia) |
Gerard Holzmann | (NASA/JPL, USA) |
Pavel Krcal | (Lloyd's Register, Sweden) |
Kim G. Larsen | (Aalborg University, Denmark) |
David Parker | (University of Birmingham, United Kingdom) |
Frits Vaandrager | (Radboud University, The Netherlands) |
Marcel Verhoef | (European Space Agency, ESTEC, The Netherlands) |
Josef Widder | (TU Wien, Austria) |