Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642402128, 9783642402135
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Deadlock Checking by Data Race Detection

2013 ◽  
pp. 34-50 ◽  
Author(s):  
Ka I Pun ◽  
Martin Steffen ◽  
Volker Stolz
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection

scholarly journals Checking Compatibility of Web Services Behaviorally

2013 ◽  
pp. 267-282 ◽  
Author(s):  
Kais Klai ◽  
Hanen Ochi
Keyword(s):  
Web Services

scholarly journals Delta Modeling and Model Checking of Product Families

2013 ◽  
pp. 51-65 ◽  
Author(s):  
Hamideh Sabouri ◽  
Ramtin Khosravi
Keyword(s):  
Model Checking ◽  
Product Families

scholarly journals On Efficiency Preorders

2013 ◽  
pp. 83-94
Author(s):  
Manish Gaur ◽  
S. Arun-Kumar

scholarly journals Improving Time Bounded Reachability Computations in Interactive Markov Chains

2013 ◽  
pp. 250-266 ◽  
Author(s):  
Hassan Hatefi ◽  
Holger Hermanns
Keyword(s):  
Markov Chains

scholarly journals On the Complexity of Adding Convergence

2013 ◽  
pp. 17-33 ◽  
Author(s):  
Alex Klinkhamer ◽  
Ali Ebnenasir

scholarly journals A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming

2013 ◽  
pp. 183-198 ◽  
Author(s):  
I.T. Banu-Demergian ◽  
C.I. Paduraru ◽  
G. Stefanescu
Keyword(s):  
Two Dimensional ◽  
Interactive Programming

scholarly journals Lending Petri Nets and Contracts

2013 ◽  
pp. 66-82 ◽  
Author(s):  
Massimo Bartoletti ◽  
Tiziana Cimoli ◽  
G. Michele Pinna
Keyword(s):  
Petri Nets

scholarly journals Compiling Cooperative Task Management to Continuations

2013 ◽  
pp. 95-110 ◽  
Author(s):  
Keiko Nakata ◽  
Andri Saar
Keyword(s):  
Task Management

scholarly journals Validating SCTP Simultaneous Open Procedure

2013 ◽  
pp. 233-249 ◽  
Author(s):  
Somsak Vanit-Anunchai
Keyword(s):  
Open Procedure
Load More ...
Sign in / Sign up

Export Citation Format

Share Document