Model-Driven Engineering for Distributed Real-Time Systems
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By John Wiley & Sons, Inc.

9781118558096, 9781848211155
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic Execution-Based Techniques for Conformance Testing

2013 ◽  
pp. 73-103
Author(s):  
Christophe Gaston ◽  
Pascale Le Gall ◽  
Nicolas Rapin ◽  
Assia Touil
Keyword(s):  
Symbolic Execution ◽  
Conformance Testing

Using MARTE and SysML for Modeling Real-Time Embedded Systems

2013 ◽  
pp. 105-137
Author(s):  
Huascar Espinoza ◽  
Daniela Cancila ◽  
Sébastien Gérard ◽  
Bran Selic
Keyword(s):  
Embedded Systems ◽  
Real Time

scholarly journals SoC/SoPC Development using MDD and MARTE Profile

2013 ◽  
pp. 201-232
Author(s):  
Denis Aulagnier ◽  
Ali Koudri ◽  
Stéphane Lecomte ◽  
Philippe Soulard ◽  
Joël Champeau ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document