search result

Cover von Operation refinement proofs for VDM-like specifications

Operation refinement proofs for VDM-like specifications
Author: Buth, Bettina Search for this author
Year: 1995
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9501
Media group: DISSERTATION
Cover von Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen

Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen
Author: Seibert, Sebastian Search for this author
Year: 1996
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9611
Media group: DISSERTATION
Cover von Specification and verification of hybrid and real-time systems

Specification and verification of hybrid and real-time systems
Author: Lakhnech, Yassine Search for this author
Year: 1996
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9609
Media group: DISSERTATION
Cover von Compositional verification and specification of refinement for reactive systems in a dense time temporal logic

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Author: Cau, Antonio Search for this author
Year: 1996
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9601
Media group: DISSERTATION
Cover von FPS-AM

FPS-AM
eine abstrakte Maschine für funktionale Produktionssysteme ; Speicherstrukturen, Maschinenbefehle und Übersetzung
Author: Oesterle, Kai Search for this author
Year: 1993
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9305
Media group: DISSERTATION
Cover von Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung

Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung
Author: Goerigk, Wolfgang Search for this author
Year: 1993
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9304
Media group: DISSERTATION
Cover von Kalküle für Prozesse und Funktionen

Kalküle für Prozesse und Funktionen
Author: Crasemann, Christoph Search for this author
Year: 1993
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9302
Media group: DISSERTATION
Cover von Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer

Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer
Author: Kröger, Henner Search for this author
Year: 1982
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 1/82
Media group: DISSERTATION
Cover von Dagstuhl-Workshop MBEES

Dagstuhl-Workshop MBEES
modellbasierte Entwicklung eingebetteter Systeme : Tagungsband : Model-based Development of Embedded Systems : 22. - 24.04.2009
Search for this author
Year: 2009
Publisher: Braunschweig, TU
Series: Informatik-Bericht / TU Braunschweig / Institut für Software Systems Engineering; 2009-01
Media group: TECHNICAL REPORT
Cover von Dagstuhl-Workshop MBEES

Dagstuhl-Workshop MBEES
modellbasierte Entwicklung eingebetteter Systeme IV : Tagungsband : 7. - 9.4.2008
Search for this author
Year: 2008
Publisher: Braunschweig, Universität
Series: Informatik-Bericht / TU Braunschweig / Institut für Software Systems Engineering; 2008-02
Media group: TECHNICAL REPORT
OPEN V 11.1.0.0