Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540729198, 9783540729525
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Analysis of UML Activities Using Dynamic Meta Modeling

2007 ◽  
pp. 76-90 ◽  
Author(s):  
Gregor Engels ◽  
Christian Soltenborn ◽  
Heike Wehrheim
Keyword(s):  
Meta Modeling

scholarly journals A Mechanized Model of the Theory of Objects

2007 ◽  
pp. 190-205 ◽  
Author(s):  
Ludovic Henrio ◽  
Florian Kammüller

scholarly journals A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems

2007 ◽  
pp. 285-300 ◽  
Author(s):  
Minyoung Kim ◽  
Mark-Oliver Stehr ◽  
Carolyn Talcott ◽  
Nikil Dutt ◽  
Nalini Venkatasubramanian
Keyword(s):  
Embedded Systems ◽  
Formal Analysis ◽  
Analysis Approach ◽  
Cross Layer ◽  
Distributed Embedded Systems ◽  
Cross Layer Optimization

scholarly journals Asynchronous Session Types and Progress for Object Oriented Languages

2007 ◽  
pp. 1-31 ◽  
Author(s):  
Mario Coppo ◽  
Mariangiola Dezani-Ciancaglini ◽  
Nobuko Yoshida
Keyword(s):  
Object Oriented ◽  
Session Types ◽  
Object Oriented Languages

scholarly journals Pict Correctness Revisited

2007 ◽  
pp. 206-220 ◽  
Author(s):  
Philippe Bidinger ◽  
Adriana Compagnoni

scholarly journals Adaptation of Open Component-Based Systems

2007 ◽  
pp. 141-156 ◽  
Author(s):  
Pascal Poizat ◽  
Gwen Salaün
Load More ...
Sign in / Sign up

Export Citation Format

Share Document