Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures

Jane Jayaputera, Iman Hafiz Poernomo, Heinrich W Schmidt

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationSpecification and Verification of Component-Based Systems: Proceedings of the 9th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering
    EditorsM Barnett
    Place of Publicationhttp://www.cs.iastate.edu/~leavens/SAVCBS/2003/index.shtml
    PublisherIowa State University
    Pages42 - 48
    Number of pages7
    Publication statusPublished - 2003
    EventSpecification and Verification of Component-Based Systems - Helsinki FINLAND, http://www.cs.iastate.edu/~leavens/SAVCBS/2003/index.shtml
    Duration: 1 Jan 2003 → …

    Conference

    ConferenceSpecification and Verification of Component-Based Systems
    Cityhttp://www.cs.iastate.edu/~leavens/SAVCBS/2003/index.shtml
    Period1/01/03 → …

    Cite this

    Jayaputera, J., Poernomo, I. H., & Schmidt, H. W. (2003). Timed probabilistic reasoning on UML specialization for fault tolerant component based architectures. In M. Barnett (Ed.), Specification and Verification of Component-Based Systems: Proceedings of the 9th European Software Engineering Conference and the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering (pp. 42 - 48). Iowa State University.