Author of the publication

Using Parameterised Contracts for Component Reliability Prediction

, , and . Integrated Design & and Process Technology, IDPT 1, Society for Process & Design Sciences, (2002)

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

Trusted Components: Towards Automated Assembly with Predictable Properties. Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE4), IEEE, (June 2001)Compatibility of Interoperable Objects. Information Systems Interoperability, Research Studies Press, Taunton, England, (1998)Parallel and Distributed Document Overlap Detection on the Web., , and . PARA, volume 1947 of Lecture Notes in Computer Science, page 206-214. Springer, (2000)Knowledge Objects., , and . Informatica (Slovenia), (1995)Shared XML Documents in Service Centers of the Future., and . WISE (2), page 105-112. IEEE Computer Society, (2000)0-7695-0577-5.Typed formal concept analysis, , and . 7th International Conference on Formal Concept Analysis (ICFCA09), page 35--51. Springer, (2009)Towards Readability Aspects of Probabilistic Mode Automata., and . ENASE, page 555-562. SciTePress, (2019)Report of the International Symposium on Component-Based Software Engineering., , , , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (3): 1-9 (2005)How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too.. SummerSOC, volume 1429 of Communications in Computer and Information Science, page 3-33. Springer, (2021)Architectures of Enterprise Systems: Modelling Transactional Contexts., , and . Component Deployment, volume 2370 of Lecture Notes in Computer Science, page 233-243. Springer, (2002)