Author of the publication

A Framework for Checking Behavioral Compatibility for Component Selection.

, and . ASWEC, page 49-60. 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.

 

Other publications of authors with the same name

A Taxonomy of E-Health Standards to Assist System Developers., , and . ISD, page 737-745. Springer, (2008)An Analysis of the Twisted Cube Topology., and . ICPP (1), page 116-120. Pennsylvania State University Press, (1989)Translation and Execution of Distributed Ada Programs: Is It Still Ada?, , , and . IEEE Trans. Software Eng., 15 (3): 281-292 (1989)Supporting Partial Component Matching., and . ICDCIT, volume 3347 of Lecture Notes in Computer Science, page 294-303. Springer, (2004)A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking., , and . APLAS, volume 8858 of Lecture Notes in Computer Science, page 196-215. Springer, (2014)Formal methods and design extraction: a pilot study.. Inf. Softw. Technol., 36 (11): 675-681 (1994)Dilated Networks for Photonic Switching., and . IEEE Trans. Commun., 35 (12): 1357-1365 (1987)Guest editorial to the special section on SEFM 2009., , and . Softw. Syst. Model., 12 (2): 227-228 (2013)Supporting Secure Information Flow: An Engineering Approach., and . IJeC, 8 (1): 17-35 (2012)A Semantics for Multiprocessor Systems.. ESOP, volume 582 of Lecture Notes in Computer Science, page 307-320. Springer, (1992)