Authors:
VANDERMEULEN E
DONEGAN HA
LARNAC M
MAGNIER J
Citation: E. Vandermeulen et al., THE TEMPORAL BOOLEAN DERIVATIVE APPLIED TO VERIFICATION OF EXTENDED FINITE-STATE MACHINES, Computers & mathematics with applications, 30(2), 1995, pp. 27-36
Citation: Fj. Dodd et Ha. Donegan, COMPARISON OF PRIORITIZATION TECHNIQUES USING INTERHIERARCHY MAPPINGS, The Journal of the Operational Research Society, 46(4), 1995, pp. 492-498
Citation: Fj. Dodd et Ha. Donegan, SOME CONSIDERATIONS IN THE COMBINATION AND USE OF EXPERT OPINIONS IN FIRE SAFETY EVALUATION, Fire safety journal, 22(4), 1994, pp. 315-327