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

TOTAL DOCUMENTS

20
(FIVE YEARS 20)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030575052, 9783030575069
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems

2020 ◽  
pp. 69-76
Author(s):  
Mirko D’Angelo ◽  
Lorenzo Pagliari ◽  
Mauro Caporuscio ◽  
Raffaela Mirandola ◽  
Catia Trubiani
Keyword(s):  
Adaptive Systems ◽  
Continuous Model ◽  
Engineering Process ◽  
Model Based ◽  
Self Adaptive

Generation of Co-simulation Algorithms Subject to Simulator Contracts

2020 ◽  
pp. 34-49
Author(s):  
Cláudio Gomes ◽  
Casper Thule ◽  
Levi Lúcio ◽  
Hans Vangheluwe ◽  
Peter Gorm Larsen
Keyword(s):  
Simulation Algorithms

Cognitive Learning with a Robot: The Case of Script Acquisition

2020 ◽  
pp. 154-162
Author(s):  
Anara Sandygulova ◽  
Anna CohenMiller ◽  
Nurziya Oralbayeva ◽  
Wafa Johal ◽  
Thibault Asselborn ◽  
...  
Keyword(s):  
Cognitive Learning

scholarly journals From SOS to Asynchronously Communicating Actors

2020 ◽  
pp. 269-275
Author(s):  
Frank de Boer ◽  
Einar Broch Johnsen ◽  
Ka I Pun ◽  
Silvia Lizeth Tapia Tarifa
Load More ...
Sign in / Sign up

Export Citation Format

Share Document