Searching for authors named "Sven Johr" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Uniformity by construction in the analysis of nondeterministic stochastic systems
by Holger Hermanns, Sven Johr — 2007 — In Proc. of Dependable Systems and Networks conference, UK
… with convenient compositional properties. Holger Hermanns Sven Johr Universität des Saarlandes, FR 6.2 Informatik…
Cited by 2 (0 self) – Add To MetaCart

Analysis of Large Safety-Critical Systems: A quantitative Approach
by Werner Damm, Martin Fränzle, Ernst-rüdiger Olderog, Andreas Podelski, Reinhard Wilhelm, Marc Herbstritt, Marc Herbstritt, Ralf Wimmer, Ralf Wimmer, Thomas Peikenkamp, Thomas Peikenkamp, Eckard Böde, Eckard Böde, Michael Adelaide, Michael Adelaide, Sven Johr, Sven Johr, Holger Hermanns, Holger Hermanns, Bernd Becker, Bernd Becker, Bernd Becker — 2006 — Reports of SFB/TR 14 AVACS 8
… Herbstritt Ralf Wimmer Thomas Peikenkamp Eckard Böde Michael Adelaide Sven Johr Holger Hermanns Bernd Becker…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB