Klaus Winkelmann - Veröffentlichungen allgemein

(1 - 7 von 8

)

Erkan — Lernen aus Betroffenheit | SpringerLink

link.springer.com

Was tun, wenn alte Konzepte nicht mehr tragen? Wie damit umgehen, wenn das „Gewusst wie...“ durch permanente Verunsicherung seitens des Schülers erschuttert...

Application of Property Checking and Underlying Techniques |...

link.springer.com

This article gives an in-depth view of the use of formal property verification at Infineon Technologies AG. We present the method and tool from a user...

Christen für das gemeinsame Schulfach Ethik - Humanistische Union

www.humanistische-union.de

Homepage der Bürgerrechtsorganisation Humanistische Union e.V.

Formal Methods in Designing Embedded Systems—the ...link.springer.com › article

link.springer.com

... in Designing Embedded Systems—the SACRES Experience. Klaus Winkelmann. Formal Methods in System Design volume 19, pages81–110(2001)Cite this ...

Formal Methods in Designing Embedded Systems—the SACRES Experience |...

link.springer.com

From automotive electronics to avionics, embedded systems are part of our everyday life, and developed societies are increasingly dependent on their reliab

TOROS-HYPER: A Tool for the Integration of Hyper Documents into...

link.springer.com

We discuss the relations of knowledge representation and hyper documents and argue that expert systems can greatly benefit from the integration with a...

TOROS-HYPER: A Tool for the Integration of Hyper Documents into ...link.springer.com › chapter

link.springer.com

TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems. Hans Delfs &; Klaus Winkelmann. Conference paper Accesses ...

Verwandte Suchanfragen zu Klaus Winkelmann

Peter Klaus

Person "Winkelmann" (12)
Vorname "Klaus" (65148)
Name "Winkelmann" (1428)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Klaus Winkelmann

Erkan — Lernen aus Betroffenheit | SpringerLink

Application of Property Checking and Underlying Techniques |...

Christen für das gemeinsame Schulfach Ethik - Humanistische Union

Formal Methods in Designing Embedded Systems—the ...link.springer.com › article

Formal Methods in Designing Embedded Systems—the SACRES Experience |...

TOROS-HYPER: A Tool for the Integration of Hyper Documents into...

TOROS-HYPER: A Tool for the Integration of Hyper Documents into ...link.springer.com › chapter