Service availability analysis of a multimodal travel planner using Stochastic Automata.

Spyridon C. Evangelatos, Zannis Kalampoukis, Ioanna Fergadioti, Stelios Christofi, Bill Karakostas, Yannis Zorgios

Browse the full ISCC paper archive.