Dai, Y.Y.DaiSchieferdecker, I.I.Schieferdecker2022-03-142022-03-142018https://publica.fraunhofer.de/handle/publica/40322210.1109/QRS-C.2018.00006The following topics are dealt with: program testing; software reliability; security of data; software fault tolerance; embedded systems; software quality; Petri nets; optimisation; formal verification; and finite state machines.en004conference paper