A Methodology for Safety Case Development, Safety and Reliability, vol.20, issue.1, 1998. ,
DOI : 10.1080/09617353.2000.11690698
A brief account of runtime verification, the 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07, pp.293-303, 2009. ,
DOI : 10.1016/j.jlap.2008.08.004
Fault Ride-Through trip curves, 2012 IEEE Power and Energy Society General Meeting, pp.1-4, 2012. ,
DOI : 10.1109/PESGM.2012.6343983
Fault ride-through capabilities of siemens full-converter wind turbines, 2011 IEEE Power and Energy Society General Meeting, pp.1-5, 2011. ,
DOI : 10.1109/PES.2011.6039729