Entscheidungsorientiertes Zentralbereichscontrolling Ansatzpunkte zur multikriteriellen Effizienzbewertung von Zentralbereichsleistungen von Beyer, Dirk 1972-

Beschreibung

A comparative study of decision diagrams for real-time verification von Beyer, Dirk 1972-, Noack, Andreas 1976-

CrocoPat: a tool for efficient pattern recognition in large object-oriented programs von Beyer, Dirk 1972-, Lewerentz, Claus

Considering inheritance, overriding, overloading and polymorphism for measuring C++ sources von Simon, Frank, Beyer, Dirk 1972-

A formalism for modular modelling of hybrid systems von Beyer, Dirk 1972-, Rust, Heinrich

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata von Beyer, Dirk 1972-

Inhaltsverzeichnis

Wert- und risikoorientiertes Controlling der Unternehmenswert als Handlungsmaxime im Controlling von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

Volltext öffnen

Wert- und risikoorientiertes Controlling der Unternehmenswert als Handlungsmaxime im Controlling von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

Inhaltsverzeichnis

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata von Beyer, Dirk 1972-

Volltext öffnen

Reachability analysis and refinement checking for BDD based model checking of timed automata von Beyer, Dirk 1972-

Rabbit: Verification of real-time systems von Beyer, Dirk 1972-

Flattening inheritance structures or getting the right picture of large OO-systems von Beyer, Dirk 1972-, Lewerentz, Claus, Simon, Frank 1969-

Efficient verification of real time systems using BDDs von Beyer, Dirk 1972-, Noack, Andreas 1976-

A modular hybrid modelling notation von Beyer, Dirk 1972-, Rust, Heinrich

Tests and proofs 13th international conference, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, proceedings

Weitere Verfasser: “… Beyer, Dirk 1972- …”
Volltext öffnen

Fundamental approaches to software engineering 27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Weitere Verfasser: “… Beyer, Dirk 1972- …”
Volltext öffnen

Verification, model checking, and abstract interpretation 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, proceedings

Weitere Verfasser: “… Beyer, Dirk 1972- …”
Volltext öffnen

Tools and algorithms for the construction and analysis of systems 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice o...

Weitere Verfasser: “… Beyer, Dirk 1972- …”
Volltext öffnen

Tools and algorithms for the construction and analysis of systems 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice o...

Weitere Verfasser: “… Beyer, Dirk 1972- …”
Volltext öffnen

Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceeding...

Weitere Verfasser: “… Beyer, Dirk 1972- …”
Volltext öffnen