![](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
11th FESCA@ETAPS 2014: Grenoble, France
- Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 - Fenglin Han, Jan Olaf Blech
, Peter Herrmann
, Heinz W. Schmidt:
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 1-15 - Stefan Stattelmann, Manuel Oriol, Thomas Gamer
:
Execution Time Analysis for Industrial Control Applications. 16-31 - Arnaud Lanoix, Olga Kouchnarenko
:
Component Substitution through Dynamic Reconfigurations. 32-46 - Christian Colombo
, Gordon J. Pace
:
Comprehensive Monitor-Oriented Compensation Programming. 47-61 - Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. 62-76 - Antinisca Di Marco
, Catia Trubiani
:
A model-driven approach to broaden the detection of software performance antipatterns at runtime. 77-92 - Faiz Ul Muram, Huy Tran, Uwe Zdun:
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. 93-107 - Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
Correct-by-construction model composition: Application to the Invasive Software Composition method. 108-122 - Wei Bai, Emmanuel M. Tadjouddine, Yu Guo:
Enabling Automatic Certification of Online Auctions. 123-132 - Luciana Brasil Rebelo dos Santos
, Valdivino Alexandre de Santiago Júnior
, Nandamudi Lankalapalli Vijaykumar:
Transformation of UML Behavioral Diagrams to Support Software Model Checking. 133-142
![](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.