Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030452339, 9783030452346
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Skill-Based Verification of Cyber-Physical Systems

2020 ◽  
pp. 203-223
Author(s):  
Alexander Knüppel ◽  
Inga Jatzkowski ◽  
Marcus Nolte ◽  
Thomas Thüm ◽  
Tobias Runge ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

2020 ◽  
pp. 357-377
Author(s):  
Radu Calinescu ◽  
Vittorio Cortellessa ◽  
Ioannis Stefanakos ◽  
Catia Trubiani
Keyword(s):  
Software Systems

scholarly journals Integrating Topological Proofs with Model Checking to Instrument Iterative Design

2020 ◽  
pp. 53-74
Author(s):  
Claudio Menghi ◽  
Alessandro Maria Rizzi ◽  
Anna Bernasconi
Keyword(s):  
Model Checking ◽  
Iterative Design

scholarly journals Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

2020 ◽  
pp. 29-52
Author(s):  
Guolong Zheng ◽  
Hamid Bagheri ◽  
Gregg Rothermel ◽  
Jianghao Wang
Keyword(s):  
Relational Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document