[SystemSafety] Worked-out Example

[Peter Bernard Ladkin]

Here is my answer to one of the Exercises I distributed last week.

I have the feeling that I could generate fifty examples like this.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de




-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20171009Example1.pdf
Type: application/pdf
Size: 90710 bytes
Desc: not available
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171010/2a7387e3/attachment-0001.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171010/2a7387e3/attachment-0001.sig>