Industrial Deployment of System Engineering Methods
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642331695, 9783642331701
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Business Information Sector

2013 ◽  
pp. 63-79
Author(s):  
Sebastian Wieczorek ◽  
Vitaly Kozyura ◽  
Wei Wei ◽  
Andreas Roth ◽  
Alin Stefanescu
Keyword(s):  
Business Information ◽  
Information Sector

Deployment in the Space Sector

2013 ◽  
pp. 45-62
Author(s):  
Dubravka Ilić ◽  
Linas Laibinis ◽  
Timo Latvala ◽  
Elena Troubitsyna ◽  
Kimmo Varpaaniemi

Introduction

2013 ◽  
pp. 1-3 ◽  
Author(s):  
Alexander Romanovsky ◽  
Martyn Thomas

Industrial Deployment of Formal Methods: Trends and Challenges

2013 ◽  
pp. 123-143 ◽  
Author(s):  
John Fitzgerald ◽  
Juan Bicarregui ◽  
Peter Gorm Larsen ◽  
Jim Woodcock
Keyword(s):  
Formal Methods

Tooling

2013 ◽  
pp. 157-185 ◽  
Author(s):  
Michael Butler ◽  
Laurent Voisin ◽  
Thomas Muller
Load More ...
Sign in / Sign up

Export Citation Format

Share Document