( en | de | ru )

 

Disambiguation of "Josko, Bernhard"

Author of the publication

copydeleteadd this publication to your clipboard
Boosting re-use of embedded automotive applications through rich components

, , , , , and . Proceedings of Foundations of Interface Technologies, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Josko Ozbolt

Dominik Jóskowiak

Bernhard Rudolf Martin Maria Josko

Franz-Josef Joskowski

Bernhard Füger

Neue heterocyclische Sulfoximine. TU Aachen, (2009)
 

Other publications of authors with the same name

On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.. STACS, volume 166 of Lecture Notes in Computer Science, page 73-84. Springer, (1984)MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.. Temporal Logic in Specification, volume 398 of Lecture Notes in Computer Science, page 165-187. Springer, (1987)A Context Dependent Equivalence Relation between Kripke Structures.. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 341-358. DIMACS/AMS, (1990)A Sound and Relatively* Compete Axiomatization of Clarke's Language L4., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 161-175. Springer, (1983)Modular Verification of Petri Nets: The Temporal Logic Approach., , , and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 180-207. Springer, (1989)A Visual Fomalism for Real-Time Requirement Specifications., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 156-168. Springer, (1997)Modelchecking of CTL Formulae under Liveness Assumptions.. ICALP, volume 267 of Lecture Notes in Computer Science, page 280-289. Springer, (1987)An Effective Retract Calculus.. Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science, page 184-194. Springer, (1981)Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications., , , , and . FM, volume 3582 of Lecture Notes in Computer Science, page 533-536. Springer, (2005)Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML., , , and . FMCO, volume 2852 of Lecture Notes in Computer Science, page 71-98. Springer, (2002)