[SystemSafety] Use of Formal Methods

Mario Gleirscher mario.gleirscher at tum.de
Wed Oct 25 10:04:42 CEST 2017


Dear all,

Peter allowed me to share the following link:

https://goo.gl/forms/FnKNQtTmI3A6BekM2

It will direct you to a 10min questionnaire part of an ongoing
longer-term study on the state of use and adoption of formal methods in
safety-critical domains, particularly, in industrial systems practice.

Any hints on the further dissemination of this questionnaire are highly
welcome. Thank you for your time and support of an important subject.

Best wishes,
Mario

-- 
Dr. Mario Gleirscher
Visiting Researcher . +44 (0)1904 325442 . CSE/013-6
High Integrity Systems Engineering . http://gleirscher.de
Department of Computer Science . University of York
Deramore Lane, Heslington, York YO10 5GH, United Kingdom

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5053 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171025/a7983d81/attachment.bin>


More information about the systemsafety mailing list