Veröffentlichungen mit Forschungsergebnissen

Compositional Parameter Synthesis

Lacramioara Astefanoaei , Marius Bozga , Saddek Bensalem , Chih-Hong Cheng und Harald Rueß

FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 60–68

2016 · DOI: 10.1007/978-3-319-48989-6_4

DOI BibTeX Zurück

Zusätzlich zu den erforderlichen Cookies, die für den Betrieb und die reibungslose Funktion der Website benötigt werden, verwendet fortiss (siehe Impressum) Marketing-Cookies, um die Websiteinhalte zu analysieren und zu verbessern. Mit Hilfe dieser Cookies kann durch pseudonymisierte Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden. Die Arten von Cookies werden in der Datenschutzerklärung beschrieben. Dort können Sie Ihre Einwilligung jederzeit ändern.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Name	Zweck	Ablauf	Typ	Anbieter
CookieConsent	Speichert Ihre Einwilligung zur Verwendung von Cookies.	1 Jahr	HTML	Website

Marketing

Mit Hilfe dieser Cookies sind wir bemüht unser Angebot für Sie noch attraktiver zu gestalten. Mittels pseudonymisierter Daten von Websitenutzern kann der Nutzerfluss analysiert und beurteilt werden. Dies gibt uns die Möglichkeit Werbe- und Websiteinhalte zu optimieren.

Name	Zweck	Ablauf	Typ	Anbieter
_pk_id	Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern.	13 Monate	HTML	Matomo
_pk_ref	Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern.	6 Monate	HTML	Matomo
_pk_ses	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo
_pk_cvar	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo
_pk_hsr	Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern.	30 Minuten	HTML	Matomo