Anzahl der Einträge: 7.
|
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]
|
|
|
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]
|
|
|
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]
|
|
Diese Liste wurde am Sun Dec 22 01:09:15 2024 CET automatisch erstellt. |
