Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“...The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th...”
Cover Image
Read Now

2
Published 2018
Springer International Publishing
“... of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view...”
Cover Image
Read Now

5
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Tools in Search of C Code Vulnerabilities II (Extended Abstract) -- Construction of Abstract Domains...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
“...The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th...”
Cover Image
Read Now

7
Published 2020
Springer International Publishing
“... of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering...”
Cover Image
Read Now

8
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Contribution) -- Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation (Competition...”
Cover Image
Read Now

9
Published 2014
Springer Berlin Heidelberg
“... of services and workflows when facing domain-specific scientific processes. 2. It provides interesting...”
Cover Image
Read Now

10
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Software Analysis: Two Research Challenges -- Mastering Changes: Some Research Topics -- Mastering Change...”
Cover Image
Read Now

11
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Cover Image
Read Now

12
Published 2024
Springer Nature Switzerland
Table of Contents: “... the Dynamic Priority Scheduling for Periodic Systems using ROS 2 -- Continuous Integration of Neural Networks...”
Cover Image
Read Now

13
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Improvement -- Focus on SME Issues -- Determining Practice Achievement in Project Management Using a Two-Phase...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
Table of Contents: “...Rigorous Engineering of Collective Adaptive Systems - Introduction to the 2nd Track Edition...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
Table of Contents: “... and Runtime Verification: Competitors or Friends? -- StaRVOOrS - Episode II, Strengthen and Distribute...”
Cover Image
Read Now

16
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Model -- Understanding IT Organizations -- On the 2-Categorical View of Proofs -- Model Transformation...”
Cover Image
Read Now

17
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Models to Web Services Orchestration: The Case of UML 2.0 Activity Diagram to BPEL -- Batch Invocation...”
Cover Image
Read Now

18
Published 2012
Springer Berlin Heidelberg
“...The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th...”
Cover Image
Read Now

19
Published 2017
Springer Berlin Heidelberg
“...The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International...”
Cover Image
Read Now

20
Published 2020
Springer International Publishing
“... of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering...”