My bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/
My bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/
Cookies die zur Benutzung der Webseite technisch notwendig sind.
Wir nutzen Dienste von Google Ireland Limited („Google“) um unser Webangebot als auch unsere Werbung zu optimieren. Die oben genannten Dienste verwenden „Cookies“, das sind Textdateien, die auf deinem Computer gespeichert werden und die eine Analyse deiner Benutzung dieser Website ermöglichen. Die erzeugten Informationen über deine Benutzung unserer Website werden in der Regel an einen Server von Google in den USA übertragen und dort gespeichert. Dabei werden keine persönlichen Daten gespeichert oder an Google übergeben. Alle IP-Adressen unserer Webseitenbesucher werden zusätzlich anonymisiert. Setze Sie hier kein Häckchen, wenn Sie die Erfassung Ihrer Daten durch Google nicht erlauben möchten. Datenschutzerklärung von Google: https://policies.google.com/privacy