Author of the publication

Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment.

, , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 320-334. Springer, (2002)

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.

 

Other publications of authors with the same name

Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking., and . ACSC, volume 26 of CRPIT, page 65-71. Australian Computer Society, (2004)Component-Based Design and Analysis: A Case Study., , and . SEFM, page 126-. IEEE Computer Society, (2003)Lightweight Consistency Analysis of Dataflow Process Networks., , and . ACSC, volume 16 of CRPIT, page 291-300. Australian Computer Society, (2003)Analysis-oriented semantics definition of visual languages., , and . HCC, page 189-191. IEEE Computer Society, (2003)Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment., , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 320-334. Springer, (2002)A method for describing the syntax and semantics of UML statecharts., , and . Softw. Syst. Model., 3 (2): 150-163 (2004)Generic Software Framework for Adaptive Applications on FPGAs., , , , and . FCCM, page 55-62. IEEE Computer Society, (2009)A predicate-based approach to defining visual language syntax., and . HCC, page 40-47. IEEE Computer Society, (2001)Development Framework for Implementing FPGA-Based Cognitive Network Nodes., , , , , and . GLOBECOM, page 1-7. IEEE, (2009)Modular Analysis of Dataflow Process Networks., , , and . FASE, volume 2621 of Lecture Notes in Computer Science, page 184-199. Springer, (2003)