( en | de | ru )

 

Disambiguation of "tak Shing, Man"

Author of the publication

copydeleteadd this publication to your clipboard
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors.

, , and . SoSE, page 1-6. IEEE, (2007)

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

Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies., and . ICGA, page 565-572. Morgan Kaufmann, (1993)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)Creation and evaluation of formal specifications for system-of-systems development., and . SMC, page 1864-1869. IEEE, (2005)Environment behavior models for automation of testing and assessment of system safety., , and . Inf. Softw. Technol., 48 (10): 971-980 (2006)A Validation Metrics Framework for safety-critical software-intensive Systems., , and . SoSE, page 1-8. IEEE, (2009)DCAPS - Architecture for Distributed Computer Aided Prototyping System., , , , , , and . IEEE International Workshop on Rapid System Prototyping, page 103-109. IEEE Computer Society, (2001)TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions., and . IEEE International Workshop on Rapid System Prototyping, page 29-36. IEEE Computer Society, (2004)MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents., , , and . IEEE International Workshop on Rapid System Prototyping, page 189-195. IEEE Computer Society, (2008)