"Stochastic Petri net-based modeling and formal analysis of fault tolerant ..."

Djamila Boukredera, Ramdane Maamri, Samir Aknine (2016)

Details and statistics

DOI: 10.3233/WEB-160342

access: closed

type: Journal Article

metadata version: 2020-03-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics