Oris: a tool for modeling, verification and evaluation of real-time systems
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico VicarioVolume:
12
Language:
english
Pages:
13
DOI:
10.1007/s10009-010-0156-8
Date:
September, 2010
File:
PDF, 926 KB
english, 2010