( en | de | ru )

 

Disambiguation of "Naixiao, Zhang"

Author of the publication

copydeleteadd this publication to your clipboard
On Semantics and Refinement of UML Statecharts: A Coalgebraic View.

, , and . SEFM, page 164-173. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yue Zhang

Ning Zhang

Gang Zhang

 

Other publications of authors with the same name

On Concept-Based Definition of Domain-Specific Languages., and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 237-248. Springer, (2002)A Component-Based Framework and Reusability in Garment., and . APSEC, page 411-418. IEEE Computer Society, (2001)On Refinement of Software Architectures., , and . ICTAC, volume 3722 of Lecture Notes in Computer Science, page 469-484. Springer, (2005)On Semantics and Refinement of UML Statecharts: A Coalgebraic View., , and . SEFM, page 164-173. IEEE Computer Society, (2004)Feature Model Based on Description Logics., and . KES (2), volume 4252 of Lecture Notes in Computer Science, page 1144-1151. Springer, (2006)On Composition and Refinement of Domain-Specific Languages in the Model of Language Family., and . Software Engineering Research and Practice, page 190-196. CSREA Press, (2007)A Coalgebraic Semantic Framework for Component-based Development in UML, , , and . Electronic Notes in Theoretical Computer Science, (March 2005)Hardware/Software Partitioning in Verilog., , , and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 168-179. Springer, (2002)Coalgebraic Component Specification and Verification in RSL., , and . PDCAT, page 424-426. IEEE Computer Society, (2005)