Skip to contents

Houdek, Frank [Author]; Schwinn, Thilo [Author]; Ernst, Dietmar [Author]

Prüfen von C-Code und Statemate-Matlab-Spezifikationen : ein Experiment

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,11
Houdek, Frank G. [Author]

AALL History Through the Eyes of its Presidents

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2009]
Houdek, Frank G. [Author]

Frequently Asked Questions About AALL's First Hundred Years

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2009]
Houdek, Frank G. [Author]

Top 10 Tips on Writing for Professional Journals

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2009]
Raschke, Alexander [Editor]; Méry, Dominique [Editor]; Houdek, Frank [Editor]

Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings - [1st ed. 2020.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Published in: Theoretical Computer Science and General Issues ; 12071 - Springer eBook Collection
Houdek, Frank [Other]; Ernst, Dietmar [Other]; Schwinn, Thilo [Other]

Prüfen von C-Code und Statemate-Matlab-Spezifikationen: ein Experiment

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Published in: Ulmer Informatik-Berichte ; 98,11
Houdek, Frank [Author]; Ernst, Dietmar [Author]; Schwinn, Thilo [Author]

Prüfen von C-Code und Statemate-Matlab-Spezifikationen: ein Experiment

View online
Schließen

Links

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-15T09:03:53Z
Föcker, Felix [Other]; Houdek, Frank [Other]; Daun, Marian [Other]; Weyer, Thorsten [Other]

Model-based engineering of an automotive adaptive exterior lighting system : realistic example specifications of behavioral requirements and functional design

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Essen: ICB, 2015

Published in: Universität Duisburg-Essen: ICB research report ; 64
Biechele, Bernd [Other]; Ernst, Dietmar [Other]; Houdek, Frank [Other]; Schmid, Joachim [Other]; Schulte, Wolfram [Other]

Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Published in: Ulmer Informatik-Berichte ; 96,09
Ernst, Dietmar [Other]; Houdek, Frank [Other]; Schulte, Wolfram [Other]; Schwinn, Thilo [Other]

Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Published in: Ulmer Informatik-Berichte ; 97,13
Biechele, Bernd [Author]; Ernst, Dietmar [Author]; Houdek, Frank [Author]; Schmid, Joachim [Author]; Schulte, Wolfram [Author]

Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen

View online
Schließen

Links

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-15T06:22:48Z
Ernst, Dietmar [Author]; Houdek, Frank [Author]; Schulte, Wolfram [Author]; Schwinn, Thilo [Author]

Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme

View online
Schließen

Links

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Universität Ulm, 2016-03-15T11:04:17Z
Föcker, Felix [Author]; Houdek, Frank [Author]; Daun, Marian [Author]; Weyer, Thorsten [Author]

Model-based engineering of an automotive adaptive exterior lighting system: Realistic example specifications of behavioral requirements and functional design

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Essen: Universität Duisburg-Essen, Institut für Informatik und Wirtschaftsinformatik (ICB), 2015
Houdek, Frank

Product-Focused Software Process Improvement: Improving Requirements Engineering Processes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Product-Focused Software Process Improvement (2012), Seite 1-2
Houdek, Frank; Raschke, Alexander

Rigorous State-Based Methods: Adaptive Exterior Light and Speed Control System

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2020

Published in: Rigorous State-Based Methods (2020), Seite 281-301
Houdek, Frank; Weber, Matthias

9.1.2 Future Trends in Automotive Requirements Engineering

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2004

Published in: INCOSE International Symposium, 14 (2004) 1, Seite 1830-1843
Houdek, Frank; Bunse, Christian

Learning Software Organizations: Transferring and evolving experience: A practical approach and its application on software inspections

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: Learning Software Organizations (2000), Seite 210-226
Houdek, Frank; Kempter, Hubert

Quality patterns—an approach to packaging software engineering experience

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1997

Published in: ACM SIGSOFT Software Engineering Notes, 22 (1997) 3, Seite 81-88
Houdek, Frank G.

Career Development in Law Librarianship : Thoughts on the Occasion of Becoming a Law Library Director

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Informa UK Limited, 1987

Published in: Legal Reference Services Quarterly, 6 (1987) 3-4, Seite 81-94
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank

Challenges concerning test case specifications in automotive software testing: assessment of frequency and criticality

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2021

Published in: Software Quality Journal, 29 (2021) 1, Seite 39-100

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication