Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets.

Guy Juanole, Laurent Gallon

Browse the full FORTE paper archive.