Algebras and Automata for Timed and Stochastic Systems

P.R. d' Argenio

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    150 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Brinksma, Ed, Supervisor
    Award date1 Jan 1999
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-365-1363-4
    Publication statusPublished - 1999

    Keywords

    • EWI-6557
    • IR-17911
    • METIS-118430
    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
    • FMT-PM: PROBABILISTIC METHODS
    • FMT-PA: PROCESS ALGEBRAS

    Cite this