1. TASE 2007:
Shanghai, China Tutorial
export record as
dblp key:
Keynote Speech Abstracts
export record as
dblp key:
export record as
dblp key:
Verification and Validation 1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paolo Zuliani :
A Formal Derivation of Grover's Quantum Search Algorithm.
67-74
export record as
dblp key:
Fei Xu ,
Li Zhang :
Unified Modeling and Analysis based on Petri nets and Pi calculus.
75-86
Software Architecture and Frameworks 1
export record as
dblp key:
export record as
dblp key:
Security Issues
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Testing Techniques
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Workflow Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fei Xu ,
Zhiwei Yu :
A Workflow Verification Method Based on Calculus.
188-196
export record as
dblp key:
Verification and Validation 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Methods 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software Architecture and Frameworks 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hung Ledang ,
Dang Van Hung :
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.
293-304
Safety and Reliability
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Verification and Validation 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Methods 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sun Meng :
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.
389-400
Software Architecture and Frameworks 3
export record as
dblp key:
export record as
dblp key:
Ingo Feinerer ,
Gernot Salzer :
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.
411-420
export record as
dblp key:
Tun Lu ,
Ning Gu :
Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency.
421-432
Formal Methods 4
export record as
dblp key:
Shengyuan Wang ,
Yuan Dong :
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association.
433-439
export record as
dblp key:
export record as
dblp key:
Service Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
