Number of items: 9.
|
Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu
Formal Specification of Asynchronous Processors via Action Refinement.
Abadir, Magdy S.
36-41
In: Proceedings / 5th International Workshop on Microprocessor Test and Verification : common challenges and solutions ; Austin, Texas, September 9 - 10, 2004
(2005)
Los Alamitos, Calif. [u.a.]
[Conference or workshop publication]
|
|
|
Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun
Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.
Davies, Jim
Lecture Notes in Computer Science
3308
449-463
In: Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004; proceedings
(2004)
Berlin [u.a.]
[Conference or workshop publication]
|
|
|
Majster-Cederbaum, Mila ; Wu, Jinzhao
(2003)
Adding Action Refinement to Stochastic True Concurrency Models.
Dong, Jin Song
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003; proceedings
Lecture Notes in Computer Science
Berlin [u.a.]
2885
226-245
[Book chapter]
|
|
|
Fecher, Harald ; Majster-Cederbaum, Mila ; Wu, Jinzhao
Action Refinement for Probabilistic Processes with True Concurrency.
Hermanns, Holger
Lecture Notes in Computer Science
2399
77-94
In: Process algebra and probabilistic methods : performance modeling and verification; second Joint International Workshop PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002; proceedings
(2002)
Berlin [u.a.]
[Conference or workshop publication]
|
|
|
Majster-Cederbaum, Mila ; Wu, Jinzhao
Action Refinement for True Concurrent Real Time.
Andler, Sten F.
Proceedings of the 7th IEEE-Int. Conference on Engineering of Complex Computer Systems
58-68
In: Proceedings / Seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11 - 13, 2001
(2001)
Los Alamitos, Calif. [u.a.]
[Conference or workshop publication]
|
|
This list was created automatically on Fri Feb 6 05:48:10 2026 CET |
