Author of the publication

A comparative study of formal verification techniques for software architecture specifications.

, and . Ann. Softw. Eng., (2000)

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

On the Design of Medical Data Ecosystem for Improving Healthcare Research and Commercial Incentive., and . CogMI, page 124-131. IEEE, (2021)A Multi-Class SLIPPER System for Intrusion Detection., and . COMPSAC, page 212-217. IEEE Computer Society, (2004)The Application of Molecular Markers to Identify Edible Fungi: A Case Study of Tremella Fuciformis., , , , , and . BIBE, page 213-220. IEEE Computer Society, (2011)Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing., , , , , , and . BIBE, page 33-38. IEEE Computer Society, (2011)Stent Design for Compensating Wall Shear Stress via Computational Modeling and Fluid Dynamics., , and . BIBE, page 204-207. IEEE Computer Society, (2016)Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems., , and . SUTC (1), page 60-67. IEEE Computer Society, (2006)A linear time algorithm for high quality mesh simplification., , , , and . ISMSE, page 169-176. IEEE Computer Society, (2004)Improving parallel execution performance for logic programs using mode information., and . SPDP, page 144-151. IEEE Computer Society, (1994)A requirements language for autonomous decentralized systems development.. ISADS, page 115-121. IEEE Computer Society, (1993)A knowledge-based approach to requirements analysis., and . ICTAI, page 26-33. IEEE Computer Society, (1995)