Software, Services, and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319155449, 9783319155456
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Foundational Legacy of ASL

2015 ◽  
pp. 253-272
Author(s):  
Donald Sannella ◽  
Andrzej Tarlecki

scholarly journals Service Composition for Collective Adaptive Systems

2015 ◽  
pp. 490-505 ◽  
Author(s):  
Stephen Gilmore ◽  
Jane Hillston ◽  
Mirco Tribastone
Keyword(s):  
Service Composition ◽  
Adaptive Systems

A Homage to Martin Wirsing

2015 ◽  
pp. 1-12 ◽  
Author(s):  
Rocco De Nicola ◽  
Rolf Hennicker

Formal Modelling for Cooking Assistance

2015 ◽  
pp. 355-376 ◽  
Author(s):  
Bernd Krieg-Brückner ◽  
Serge Autexier ◽  
Martin Rink ◽  
Sidoine Ghomsi Nokam
Keyword(s):  
Formal Modelling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document