Inproceedings,

Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability.

, , and .
SAFECOMP, page 173-182. Springer, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews