PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "tak Shing, Man"

Author of the publication

copydeleteadd this publication to your clipboard
Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems.

, , , , , and . SoSE, page 1-5. IEEE Computer Society, (2006)

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.

Univ. -Prof. Dr. Hidenori Takagi University of Stuttgart

Abhishekkumar Shingala University of Stuttgart

Jens Take University of Stuttgart

Mirja Mannigel University of Stuttgart

Univ. -Prof. Dr. -Ing. Ralf Takors University of Stuttgart

 

Other publications of authors with the same name

Environment behavior models for automation of testing and assessment of system safety., , and . Information & Software Technology, 48 (10): 971-980 (2006)Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping., , , , and . Design Autom. for Emb. Sys., 5 (3-4): 251-263 (2000)Algorithms for special cases of rectilinear steiner trees: I. Points on the boundary of a rectilinear rectangle., and . Networks, 20 (4): 453-485 (1990)Computer Aided Prototyping System., , and . SEKE, page 499. Knowledge Systems Institute, (1995)Independent validation of software safety requirements for systems of systems., , , and . SoSE, page 1-6. IEEE, (2010)A Validation Metrics Framework for safety-critical software-intensive Systems., , and . SoSE, page 1-8. IEEE, (2009)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)Verification and Validation for Trustworthy Software Systems., , , and . IEEE Software, 28 (6): 86-92 (2011)Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety., , , and . IEEE Systems Journal, 4 (2): 186-197 (2010)