Showing 1 - 4 results of 4 for search 'Leucker, Martin', query time: 0.01s Refine Results
  1. 1
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Other Authors: “...Leucker, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Formal Methods Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
    by Brim, Lubos
    Published in Springer e-books (2007)
    Other Authors: “...Leucker, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Model-Based Testing of Reactive Systems Advanced Lectures
    by Broy, Manfred
    Published in Springer e-books (2005)
    Other Authors: “...Leucker, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Other Authors: “...Leucker, Martin...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed