Stefan Leue - Veröffentlichungen allgemein

(1 - 13 von 13

)

Formal Methods for Industrial Critical Systems | SpringerLink

link.springer.com

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems,...

List of publications from Stefan Leue | Page 1 | Open AccessAmanote

research.amanote.com

List of publications in which the name of Stefan Leue appears. Annotate and manage publications with Amanote.

Scenarios: Models, Transformations and Tools | SpringerLink

link.springer.com

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases visual notations are used to - scribe ...

PublicationsUni Mannheim

ls.wim.uni-mannheim.de

Stefan Fischer und Stefan Leue Formal Methods for Broadband and Multimedia Systems. Computer Networks and ISDN Systems (30#), Elsevier , Amsterdam,

Causality Checking for Complex System ModelsSpringer Link

link.springer.com

von F Leitner-Fischer · · Zitiert von: 87 — Stefan Leue. Conference paper Accesses. 33 Citations ... Authors and Affiliations. University of Konstanz, Germany. Florian Leitner-Fischer & Stefan Leue.

Willkommensbuffet Fingerfoodauswahl (3Gut Gremmelin

www.gutgremmelin.de

Geschäftsführende Gesellschafter Stefan Leue & Klaus-Pidder Mewe. IBAN DE HRB Rostock . USt-IdNr. DE

Scenarios: Models, Transformations and Tools - Springer Linkspringer.com

link.springer.com

von S Leue · Zitiert von: 4 — Editors: Stefan Leue, Tarja Johanna Systä. Series Title: Lecture Notes in Computer Science. DOI: https://doi.org b

Counterexamples for Timed Probabilistic Reachability | SpringerLink

link.springer.com

Counterexamples for Timed Probabilistic Reachability. Authors; Authors and affiliations. Husain Aljazzar; Holger Hermanns; Stefan Leue. Husain Aljazzar. 1.

Extended Directed Search for Probabilistic Timed Reachability |...

link.springer.com

Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging...

Model Checking Software | SpringerLink

link.springer.com

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?-...

Formalization and validation of the General Inter-ORB Protocol (GIOP)...

link.springer.com

... Dept. of Electrical and Computer Engineering, Waterloo ON N2L 3G1, Canada; , CA. Moataz Kamel; & Stefan Leue. Authors.

Syntactic detection of process divergence and non-local choice in...

link.springer.com

Authors; Authors and affiliations. Hanêne Ben-Abdallah; Stefan Leue.

Verlässliche Software im 21. Jahrhundert | SpringerLink

link.springer.com

Software ist Innovationstreiber in vielen verschiedenen Bereichen, von Cloud-Diensten über autonomes Fahren bis hin zu medizinischen Geräten und

Verwandte Suchanfragen zu Stefan Leue

Clara Zetkin
Stefan Edelkamp
Anton Angelov

Personen
Vorname "Stefan" (78868)
Name "Leue" (382)

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 Stefan Leue