IFACSAFE
Klein, S.; Frey, G.; Litz, L.: Designing fault-tolerant Controllers using SIPN and Model-Checking. Proceedings of the IFAC-Safeprocess, pp. 115-120, Washington D.C., USA, Jun. 2003.
Klein, S.; Frey, G.; Litz, L.: Designing fault-tolerant Controllers using SIPN and Model-Checking. Proceedings of the IFAC-Safeprocess, pp. 115-120, Washington D.C., USA, Jun. 2003.
Diese Webseite verwendet neben technisch notwendigen Cookies die Software Matomo. Mit ihr analysieren wir Ihre Klicks, um die Seiten zu verbessern. Matomo läuft auf einem Server der Universität. Ihre Daten werden nur dort für maximal sechs Monate gespeichert und nicht an Dritte weitergegeben. Eine Zuordnung Ihrer IP-Adresse ist nicht möglich. Mehr erfahren Sie in der Datenschutzerklärung.