Klaus Winkelmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2006

Going Beyond AssertionsKlaus Winkelmann. mbmv 2006: 87-91

2004

Formale Verifikation eines Sonet/SDH FramersAlexander Thomas, Jürgen Becker, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann. mbmv 2004: 280-288

Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate CoprocessorKlaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey. date 2004: 162-167 [doi]

2003

Formal VerificationKlaus Winkelmann. vlsi 2003: 10

Cost-efficient Formal Block Verification for ASIC DesignKlaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey. mbmv 2003: 184-188

2001

Formal Methods in Designing Embedded Systems-the SACRES ExperienceKlaus Winkelmann. fmsd, 19(1):81-110, 2001.

1998

Controller synthesis for the production cell case studyHelmut Melcher, Klaus Winkelmann. fmsp 1998: 24-33 [doi]

1995

CSLKlaus Nökel, Klaus Winkelmann. korso 1995: 55-74

1994

Control Specification Language - CSLKlaus Winkelmann, Klaus Nökel. ftrtft 1994: 782-782

System Verification Environment - SVEKlaus Winkelmann, Thomas Filkorn. ftrtft 1994: 783-783

1991

TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based SystemsHans Delfs, Klaus Winkelmann. DEXA 1991: 275-280

Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI 91Klaus Winkelmann. ki, 5(4):26-28, 1991.

1990

Zweite Konferenz Innovative Applications of Artificial Intelligence Klaus Winkelmann. ki, 4(3):30-32, 1990.

Zum Berufsbild des Wissensingenieurs - ein DiskussionsbeitragKlaus Winkelmann. ki, 4(3):33-36, 1990.

Die Ausrichtung der Lufthansa- Inhouse-Systeme auf die Anforderungen der logistischen Dienstleister / Lufthansa Opens its Information Systems to the Requirements of its Logistics PartnersKlaus Winkelmann. it, 32(5):333-342, 1990. [doi]

1989

Ein wissensbasiertes Diagnosesystem in der HalbleiterfertigungGabriele Schmiedel, Klaus Winkelmann. ki, 3(3):60-63, 1989.

Conference on Innovative Applications of Artificial IntelligenceKlaus Winkelmann. ki, 3(3):20-23, 1989.

1988

Bericht über die Fourth International Expert Systems ConferenceKlaus Winkelmann. ki, 2(4):20-21, 1988.

1984

Prozesskoordinierung durch Verwendung von FortsetzungsbedingungenKlaus Winkelmann. PhD thesis, University of Erlangen-Nuremberg, Germany, 1984. [doi]

1982

An improved strategy for a counterfeit coin problemKlaus Winkelmann. TIT, 28(1):120, 1982.

Sign in or sign up to see more results.

runs on WebDSL