Author: "Martin Fränzle" / Journal: ftrtft - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Martin Fränzle"' showing total 4 results

Start Over Author "Martin Fränzle" Journal ftrtft

4 results on '"Martin Fränzle"'

1. Take It NP-Easy: Bounded Model Construction for Duration Calculus.

Author: Martin Fränzle
Published: 2002
Full Text: View/download PDF

2. Compiling Graphical Real-Time Specifications into Silicon.

Author: Martin Fränzle and Karsten Lüth
Published: 1998
Full Text: View/download PDF

3. Synthesizing Controllers from Duration Calculus.

Author: Martin Fränzle
Published: 1996
Full Text: View/download PDF

4. Provably Correct Systems.

Author: Jifeng He 0001, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, and Hans Rischel
Published: 1994
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results