![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 106
Volume 106, August 2015
- Jérôme Hugues, Oleg Sokolsky:
Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems. 1-2 - Daniel Balasubramanian, Abhishek Dubey
, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale
, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
:
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. 3-29 - Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang:
Towards a verified transformation from AADL to the formal component-based language FIACRE. 30-53 - Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
:
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. 54-77 - Frédéric Mallet
, Robert de Simone:
Correctness issues on MARTE/CCSL constraints. 78-92
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.