Publikationen

Zeige Ergebnisse 1 bis 10 von 357

In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education. ACM Technical Symposium on Computer Science Education (SIGCSE-2020) March 11-14 Portland United States ACM 2020.

Zur Publikation

In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2019) August 27-29 Amsterdam Netherlands 2019.

Zur Publikation

In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019) September 2-4 Southampton United Kingdom 2019.

Zur Publikation

In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019) September 2-4 Southampton United Kingdom 2019.

Zur Publikation

In: Information Storage A Multidisciplinary Perspective. ISBN 978-3-030-19261-7 Springer 2019.

Zur Publikation

In: Proceedings of the 3rd International Test Conference in Asia (ITC-Asia). International Test Conference in Asia (ITC-Asia-2019) September 3-5 Tokyo Japan 2019.

Zur Publikation

In: 29th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2019) May 9-11 Washington DC United States 2019.

Zur Publikation

In: 24th IEEE European Test Symposium (ETS 19). IEEE European Test Symposium (ETS-2019) May 27-31 Baden Baden Germany 2019.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence