Apl. Bernhard Josko und Zitiert - Info zur Person

(1 - 5 von 7

)

Designing Embedded Systems using Heterogeneous Rich ...Wiley

incose.onlinelibrary.wiley.com

von B Josko · · Zitiert von: 29 — Bernhard Josko, Qin Ma, Alexander Metzner. OFFIS Oldenburg. GERMANY. {josko, . › doi › pdf › j

CESAR: Cost-Efficient Methods and Processes for Safety ...Semantic Scholar

pdfs.semanticscholar.org

von G Grießnig · Zitiert von: 10 — Relevant Embedded Systems. Gerhard Grießnig, Roland Mader, Thomas Peikenkamp,. Bernhard Josko, Martin Törngren, Eric Armengaud ... › ...

Extending fairness expressibility of ECTL : a tree-style one ...sistedes.es

biblioteca.sistedes.es

von A Bolotov · Zitiert von: 3 — [10] Bernhard Josko (1987): Model checking of CTL formulae under liveness assumptions. In Thomas Ottmann, editor: Automata, Languages and Programming, ... › PROLE-005

SUCCESS Emis.deEmis.de

cs.emis.de

von H Eekhoff · Zitiert von: 5 — Bernhard Josko. Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme. Bereich Sicherheitskritische Systeme. . › LNI › GI-Proceedings

Formal Verification of an Avionics Application using ...springer.com

link.springer.com

von T Bienmüller · · Zitiert von: 22 — Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, editor, ... von W Damm · · Zitiert von: 45 — A sound and relatively complete Hoare-logic for a language with higher type procedures. Werner Damm &; Bernhard Josko. Acta Informatica volume 20, ... › chapter › article

Verwandte Suchanfragen zu Apl. Bernhard Josko

Ralf Buschermöhle
Hardi Hungar
Werner Damm

Thomas Peikenkamp
Heike Eekhoff
Matthias Brucke

Personen
Vorname "Bernhard" (29753)
Name "Josko" (44)

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

Apl. Bernhard Josko und Zitiert Person-Info

Designing Embedded Systems using Heterogeneous Rich ...Wiley

CESAR: Cost-Efficient Methods and Processes for Safety ...Semantic Scholar

Extending fairness expressibility of ECTL : a tree-style one ...sistedes.es

SUCCESS Emis.deEmis.de

Formal Verification of an Avionics Application using ...springer.com