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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540643036, 9783540697237
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Behaviour analysis and safety conditions: A case study in CML

1998 ◽  
pp. 255-269 ◽  
Author(s):  
Hanne Riis Nielson ◽  
Torben Amtoft ◽  
Flemming Nielson
Keyword(s):  
Behaviour Analysis

scholarly journals Observational proofs with critical contexts

1998 ◽  
pp. 38-53 ◽  
Author(s):  
Narjes Berregeb ◽  
Adel Bouhoula ◽  
MichaËl Rusinowitch

scholarly journals Integrating AORTA with model-based data specification languages

1998 ◽  
pp. 54-70
Author(s):  
Steven Bradley ◽  
William Henderson ◽  
David Kendall ◽  
Adrian Robson
Keyword(s):  
Specification Languages ◽  
Model Based ◽  
Data Specification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document