2013 International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By IEEE

9780769550534
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Analysis of AODV Using Rely-Guarantee

2013 ◽  
Author(s):  
Xiaofeng Wu ◽  
Qiwen Xu ◽  
Huibiao Zhu
Keyword(s):  
Formal Analysis

Class Diagrams with Equated Association Chains

2013 ◽  
Author(s):  
Ingo Feinerer ◽  
Gernot Salzer ◽  
Tanja Sisel
Keyword(s):  
Class Diagrams

scholarly journals Model Repair for Markov Decision Processes

2013 ◽  
Author(s):  
Taolue Chen ◽  
Ernst Moritz Hahn ◽  
Tingting Han ◽  
Marta Kwiatkowska ◽  
Hongyang Qu ◽  
...  
Keyword(s):  
Markov Decision Processes ◽  
Decision Processes ◽  
Model Repair ◽  
Markov Decision

Towards Conformance Testing of Choreography Based on Scenario

2013 ◽  
Author(s):  
Hongli Yang ◽  
Kai Ma ◽  
Cheng Deng ◽  
Husheng Liao ◽  
Jun Yan ◽  
...  
Keyword(s):  
Conformance Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document