Author of the publication

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

Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies., and . ICGA, page 565-572. Morgan Kaufmann, (1993)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)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)Environment behavior models for automation of testing and assessment of system safety., , and . Inf. Softw. Technol., 48 (10): 971-980 (2006)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)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)