This application requires Javascript to be enabled.
You are not logged in.
Log in
My Page
Recent Changes
Tools
Help
Recent pages
LASSY
Sitemap
Edit
page
New
page
Print
page
More
This page can't be edited.
0
Print Preferences
Show Table of Contents
Show Page Modified Info
Show Link Endnotes
Sitemap
From $1
Table of contents
LASSY
Students Offers
Adding Resilience to a DSL by Language Composition
Model Checking of Resilience Features
Design and Implementation of Dependability-aware Graphical Interfaces for Crisis Management Systems
Dependable Business Processes for Crisis Management Applications
Development of a Toolset for the Support of a Test Selection Process
Generic Model Weaving to Combine Product Line and Aspect Modeling
Job Positions
Professor in Computer Science
Members
Projects
DIAMONDS
DT4BP
REACT
Downloads
User Guide
Database Setup
REACT Server Derivation
REACT Client Derivation
Private
REACT Meetings
Yiqing LI
SETER
Deliverables
News
SPLACID
SPLIT
Publications
Deliverables
News
VERITY
Deliverables
Publications
Workshops
Powered by
MindTouch Enterprise 2009
RSS feeds
Users
Templates
Sitemap
Popular pages
Desktop Suite
Watch
Attach file or image
Restrict access
Move
Delete
Tag page
Email link
Set page properties
Talk page
Table of contents
dismiss message
view details
Message will close by itself in
seconds
Message timer has been stopped
Viewing Details:
You are not logged in. Log in
You are not logged in. Log in 