( en | de | ru )

 

Disambiguation of "tak Shing, Man"

Author of the publication

copydeleteadd this publication to your clipboard
Creation and evaluation of formal specifications for system-of-systems development.

, and . SMC, page 1864-1869. IEEE, (2005)

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.

Yee Lee Shing

Shing Müller

Nitin Shingne

Rajaram Shingte

Jaetaek Tak

 

Other publications of authors with the same name

Rapid runtime system verification using automatic source code instrumentation., , and . SoSE, page 1-6. IEEE, (2011)Cloud to cloud interoperability., , , and . SoSE, page 258-263. IEEE, (2011)Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety., , , and . IEEE Syst. J., 4 (2): 186-197 (2010)Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping., , , , and . Des. Autom. Embed. Syst., 5 (3-4): 251-263 (2000)Creation and evaluation of formal specifications for system-of-systems development., and . SMC, page 1864-1869. IEEE, (2005)Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies., and . ICGA, page 565-572. Morgan Kaufmann, (1993)Verification and Validation for Trustworthy Software Systems., , , and . IEEE Software, 28 (6): 86-92 (2011)Environment behavior models for automation of testing and assessment of system safety., , and . Inf. Softw. Technol., 48 (10): 971-980 (2006)Computer Aided Prototyping System., , and . SEKE, page 499. Knowledge Systems Institute, (1995)Algorithms for special cases of rectilinear steiner trees: I. Points on the boundary of a rectilinear rectangle., and . Networks, 20 (4): 453-485 (1990)