Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642338250, 9783642338267
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Configuration Approach for IMA Systems

2012 ◽  
pp. 203-217 ◽  
Author(s):  
Visar Januzaj ◽  
Stefan Kugele ◽  
Florian Biechele ◽  
Ralf Mauersberger

Frama-C

2012 ◽  
pp. 233-247 ◽  
Author(s):  
Pascal Cuoq ◽  
Florent Kirchner ◽  
Nikolai Kosmatov ◽  
Virgile Prevosto ◽  
Julien Signoles ◽  
...  

Towards a Formal Component Model for the Cloud

2012 ◽  
pp. 156-171 ◽  
Author(s):  
Roberto Di Cosmo ◽  
Stefano Zacchiroli ◽  
Gianluigi Zavattaro
Keyword(s):  
Component Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document