Ralf Pinger - Veröffentlichungen allgemein

(1 - 8 von 8

)

bol.com: bol.com | Ralf Pinger artikelen kopen? Alle artikelen online

Op zoek naar artikelen van Ralf Pinger? Artikelen van Ralf Pinger koop je eenvoudig online bij bol.com ✓ Snel in huis ✓ Veelal gratis verzonden

Formal Methods for Industrial Critical Systems - 17th International...

link.springer.com

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France,...

Ralf Pinger - Wikidatawww.wikidata.org › wiki

www.wikidata.org

Ralf Pinger. Dr. rer. nat. Technische Universität Carolo-Wilhelmina zu Braunschweig Spanish. No label defined. No description defined.

Formal Methods for Industrial Critical Systems | SpringerLinklink.springer.com › book

link.springer.com

Mariëlle Stoelinga; Ralf Pinger. Conference proceedings FMICS Citations; 7.8k Downloads. Part of the Lecture Notes in Computer Science book series ...

Reliability, Safety, and Security of Railway Researchr

researchr.org

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and ... › rssrail-2016

The Troll Approach to Conceptual Modelling: Syntax ...

link.springer.com

von A Grau · · Zitiert von: 36 — Ralf Pinger &; Hans-Dieter Ehrich. Show authors. Conference paper Accesses. 4 Citations. Part of the Lecture Notes in Computer Science book series ... › chapter

Reliability, Safety, and Security of Railway Systems. Modelling,...

link.springer.com

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019,...

The Troll Approach to Conceptual Modelling: Syntax, Semantics, and...

link.springer.com

In this paper, we present the use of Troll for the conceptual modelling of distributed information systems. Troll offers both textual and graphical notations....

Verwandte Suchanfragen zu Ralf Pinger

Hans-Dieter Ehrich
Alexander Romanovsky
Silke Eckstein

Marco Klopsch
Andre Boom
Janina Flemming

Stefan Leonhard
Jörg Grundmann

Person "Pinger" (2)
Vorname "Ralf" (44375)
Name "Pinger" (205)

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 Ralf Pinger