@inproceedings{10.1007/11596356_40,
    Abstract = {Real-time software runs over real-time operating systems, and guaranteeing qualities are difficult. In this paper, we propose timed weak simulation relation verification and apply it to a refinement design method of real-time software. Moreover, we apply our proposed method to general real-time software scheduled by fixed-priority preemptive policy.},
    Address = {Berlin, Heidelberg},
    Author = {Yamane, Satoshi},
    BookTitle = {Embedded and Ubiquitous Computing -- EUC 2005},
    Editor = {Yang, Laurence T. and Amamiya, Makoto and Liu, Zhen and Guo, Minyi and Rammig, Franz J.},
    File = {Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time SoftwareYa - mane2005\_Chapter\_TimedWeakSimulationVerificatio.pdf},
    ISBN = {978-3-540-32295-5},
    Pages = {381--394},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software},
    Year = {2005},
    date-added = {2021-05-27 12:59:20 +0200},
    date-modified = {2021-05-27 12:59:20 +0200},
    doi = {10.1007/11596356_40}
}

@inproceedings{10.1007/11596356_40, Abstract = {Real-time software runs over real-time operating systems, and guaranteeing qualities are difficult. In this paper, we propose timed weak simulation relation verification and apply it to a refinement design method of real-time software. Moreover, we apply our proposed method to general real-time software scheduled by fixed-priority preemptive policy.}, Address = {Berlin, Heidelberg}, Author = {Yamane, Satoshi}, BookTitle = {Embedded and Ubiquitous Computing -- EUC 2005}, Editor = {Yang, Laurence T. and Amamiya, Makoto and Liu, Zhen and Guo, Minyi and Rammig, Franz J.}, File = {Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time SoftwareYa - mane2005_Chapter_TimedWeakSimulationVerificatio.pdf}, ISBN = {978-3-540-32295-5}, Pages = {381--394}, Publisher = {Springer Berlin Heidelberg}, Title = {Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software}, Year = {2005}, date-added = {2021-05-27 12:59:20 +0200}, date-modified = {2021-05-27 12:59:20 +0200}, doi = {10.1007/11596356_40} }