Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
outcomes:publications [2018/07/03 10:46] nour.assy [2018] |
outcomes:publications [2018/07/03 12:24] nour.assy [2018] |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ===== 2018 ===== | ===== 2018 ===== | ||
| + | |||
| + | * Ji Qi, Cong Liu, Bram C.M. Cappers and Huub van de Wetering. **[[http://dx.doi.org/10.2312/eurovisshort.20181074 |Visual Analysis of Parallel Interval Events]]**. //In EuroVis 2018 - Short Papers// <fc #ff0000>Best paper award</fc> | ||
| * Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga. **[[https://doi.org/10.1007/978-3-319-77935-5_15|Model-Based Testing for General Stochastic Time]]**, //In 10th NASA Formal Methods Symposium, Newport News, VA, USA, April 17-19, 2018// | * Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga. **[[https://doi.org/10.1007/978-3-319-77935-5_15|Model-Based Testing for General Stochastic Time]]**, //In 10th NASA Formal Methods Symposium, Newport News, VA, USA, April 17-19, 2018// | ||
