Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: 2010 | 2006 | 2005 | 2004 | 2003
Anzahl der Einträge: 7.

2010

Zhan, Naijun ; Majster-Cederbaum, Mila (2010) On hierarchically developing reactive systems. Information and Computation Amsterdam 208 9 997-1019 [Zeitschriftenartikel]

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 ; Zhan, Naijun Deriving non-determinism from conjunction and disjunction. Wang, Farn Lecture Notes in Computer Science 3731 351-365 In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings (2005) Berlin [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 ; Zhan, Naijun ; Fecher, Harald Action Refinement from a Logical Point of View. Zuck, Lenore D. Lecture Notes in Computer Science 2575 253-267 In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings (2003) Berlin [u.a.] [Konferenzveröffentlichung]

Zhan, Naijun Combining Hierarchical Specification with Hierarchical Implementation. Saraswat, Vijay A. Lecture Notes in Computer Science 2896 110-124 In: Advances in computing science - ASIAN 2003 : programming languages and distributed computation; 8th Asian Computing Science Conference, Mumbai, India, December 10 - 12, 2003; proceedings (2003) Berlin [u.a.] [Konferenzveröffentlichung]

Zhan, Naijun Compositional Properties of Sequential Processes. Electronic Notes in Theoretical Computer Science : ENTCS 118 111-128 (2003) Amsterdam [u.a.] Software Verification and Validation 2003 (Mumbai, India) [Konferenzveröffentlichung]

Diese Liste wurde am Fri Mar 29 01:17:45 2024 CET automatisch erstellt.