Events

Event 

Title:
Special MBAT Session at ModelsWard
When:
09.01.2014 - 09.01.2014
Where:
Lisbon -
Category:
Conference

Description

MBAT Special Session @MODELSWARD’14
(Conference Jan 7. - 9., 2014, Lisbon, Portugal)

MBAT Special Session is on January 9, 2014:

10:15-10:30     MBAT project and special session introduction 
                      (W. Krenn and D. Nickovic)
10:30-11:00     Towards a Method for Combined Model-based Testing and Analysis
11:00-11:30     Formal Test-Driven Development with Verified Test Cases
11:30-12:00     Creating a Reference Technology Platform: performing Model-based 
                       Safety Analysis in a Heterogeneous Development Environment

14:45-15:15     The ETSI Test Description Language TDL and Its Application
15:15-15:45     Integrating Model-Based Formal Timing Analysis in the Industrial 
                       Development Process of Satellite On-Board Software
15:45-16:15     Combining Test and Proof in MBAT: An Aerospace Case Study

Venue

Venue:
Lisbon
Country:
P

Description

Sorry, no description available

Additional information