Suchergebnisse - Duan, Zhenhua

  • Treffer 1 – 12 von 12
Treffer filtern
  1. 1
    Buchumschlag

    Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Structured object-oriented formal language and method: 11th international workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, revised selected papers

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Computing and combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Structured object-oriented formal language and method: 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Structured object-oriented formal language and method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Structured object-oriented formal language and method: 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Structured object-oriented formal language and method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Structured object-oriented formal language and method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Structured object-oriented formal language and method: 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Tagungsbericht Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Structured object-oriented formal language and method: 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Duan, Zhenhua …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: