[IET 2010 Forum on Specification & Design Languages (FDL 2010) - Southampton, UK (14-16 Sept. 2010)] 2010 Forum on Specification & Design Languages (FDL 2010) - Bounded fault tolerance checking
Sulflow, A., Fey, G., Drechsler, R.Year:
2010
Language:
english
DOI:
10.1049/ic.2010.0120
File:
PDF, 48 KB
english, 2010