![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
6. FMCO 2007: Amsterdam, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, ISBN 978-3-540-92187-5
The MOBIUS Project
- Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie:
The MOBIUS Proof Carrying Code Infrastructure. 1-24 - Lennart Beringer, Martin Hofmann, Mariela Pavlova:
Certification Using the Mobius Base Logic. 25-51 - David Aspinall, Patrick Maier, Ian Stark
:
Safety Guarantees from Explicit Resource Management. 52-71 - Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza
, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. 72-112 - Elvira Albert, Puri Arenas, Samir Genaim
, German Puebla, Damiano Zanardini
:
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. 113-132
The GridCOMP Project
- Denis Caromel, Ludovic Henrio, Eric Madelaine
:
Active Objects and Distributed Components: Theory and Implementation. 133-152
The SELFMAN Project
- Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye:
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. 153-178
The ARTIST Project
- Simon Bliudze, Joseph Sifakis:
Causal Semantics for the Algebra of Connectors. 179-199 - Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone
, Christos Sofronis:
Multiple Viewpoint Contract-Based Specification and Design. 200-225
The CREDO Project
- Dave Clarke:
Coordination: Reo, Nets, and Logic. 226-256 - Einar Broch Johnsen
, Olaf Owe
, Joakim Bjørk, Marcel Kyas
:
An Object-Oriented Component Model for Heterogeneous Nets. 257-279 - Mohammad Mahdi Jaghoori:
Coordinating Object Oriented Components Using Data-Flow Networks. 280-311
![](https://dblp.org/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.