The paper “Simulink Design Verifier vs. SPIN – A Comparative Case Study” which was joint work with Stefan Leue and was presented at FMICS 08 is now available online.The paper is more or less a summary of my bachelor thesis.
The paper “Simulink Design Verifier vs. SPIN – A Comparative Case Study” which was joint work with Stefan Leue and was presented at FMICS 08 is now available online.The paper is more or less a summary of my bachelor thesis.
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