Bernd-Holger Schlingloff - Info zur Person mit Bilder, News & Links

News

Netzwerk-Profile

Bernd-Holger Schlingloff | Semantic Scholar

www.semanticscholar.org

Semantic Scholar profile for Bernd-Holger Schlingloff, with 6 highly influential citations and 16 scientific research papers.

Bücher

Bernd-Holger Schlingloff | Autorenprofil und Werke | beck-shop.de

www.beck-shop.de

Hier finden Sie das komplette Autorenprofil von Bernd-Holger Schlingloff . Außerdem erhalten Sie Zusatzinfos wie wichtige berufliche Stationen und aktuelle...

Chapter 24: Model Checking - Handbook of Automated Reasoning [Book]

www.oreilly.com

Chapter 24 Model Checking Edmund M. Clarke Bernd-Holger Schlingloff Contents 1 Introduction Logical Languages, Expressiveness Prepositional ...

Sonstiges

Prof. Bernd-Holger Schlingloff

www.tele-task.de

Alle boeken van Bernd-Holger Schlingloff | Standaard Boekhandel

www.standaardboekhandel.be

Op zoek naar boeken van Bernd-Holger Schlingloff? Bezoek de webshop van Standaard Boekhandel, je vindt er meer dan je zoekt.

6 References

courses.cs.washington.edu

Edmund M. Clarke and Bernd-Holger Schlingloff. Model checking. Handbook of automated reasoning, Alan Robinson and Andrei Voronkov (Eds.). Elsevier Science ...

Staff View: Specification-based testing for Software Product Lines

cronfa.swan.ac.uk

Specification-based testing for Software Product Lines / Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff ; cronfa34 · SURis · ...

Rooting Formal Methods Within Higher Education Curricula for Computer...

researchportal.bath.ac.uk

· ... Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov.

Verwandte Suchanfragen zu Bernd-Holger Schlingloff

Personen
Vorname "Bernd-Holger" (19)
Name "Schlingloff" (38)

sortiert nach Relevanz / Datum

Erweiterte Suche

Dossier exportieren

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

Bernd-Holger Schlingloff Person-Info

News

Netzwerk-Profile

Bücher

Sonstiges