BOOLEAN LOGIC DRIVEN MARKOV PROCESS (BDMP)

COMPUTER TOOLS IN THE NATURE OF COMPUTER SOFTWARE FOR AUTOMATED CHARACTERIZATION OF FUNCTIONING AND FAILURE IN INDUSTRIAL SYSTEMS, USING AN ARBORESCENT REPRESENTATION; COMPUTER SOFTWARE FOR CALCULATION OF DYNAMIC FAULT TREES

COMPUTER PROGRAMMING SERVICES; DESIGN FOR OTHERS OF COMPUTER SOFTWARE AND COMPUTER MODELS FOR FUNCTIONAL RELIABILITY OPERATION OF SYSTEMS; UPDATING FOR OTHERS OF COMPUTER SOFTWARE AND COMPUTER MODELS FOR FUNCTIONAL RELIABILITY OPERATION OF SYSTEMS