Extending Harmless architecture description language for embedded real-time systems validation.

Jean-Luc Béchennec Mikaël Briday Valere Alibert

Published in: SIES (2011)

Keyphrases

description language
software architecture
description languages
web services
specification language
real time
software engineering
management system
software systems
embedded real time systems
action language
databases
embedded systems