Personen - MADOC

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung

Springe zu: 2006 | 2005 | 2004 | 2003 | 2002 | 2001

Anzahl der Einträge: 9.

2006

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun (2006) Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Acta Informatica Heidelberg 42 6 389-418 [Zeitschriftenartikel]

2005

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.] [Konferenzveröffentlichung]

2004

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.] [Konferenzveröffentlichung]

2003

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 [Buchkapitel]

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Towards Action Refinement for True Concurrent Real Time. Acta Informatica Berlin [u.a.] 39 8 531-577 [Zeitschriftenartikel]

2002

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.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Bundle Event Structures : a Revised Cpo Approach. Information Processing Letters Amsterdam [u.a.] 83 3 7-12 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 70 3 260-280 [Zeitschriftenartikel]

2001

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.] [Konferenzveröffentlichung]