Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of - Statistical model - Document - PDFSEARCH.IO

First Page	Meta Content
	Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of Add to Reading List Document Date: 2016-06-13 09:28:43 Open Document File Size: 677,53 KB Share Result on Facebook

Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of Add to Reading List