Probabilistically Analysable Real-Time Systems

Supporting Industrial Use of Probabilistic Timing Analysis with Explicit Argumentation

Publication Type:

Conference Paper

Source:

11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany (2013)

URL:

http://www.indin2013.org/n/