1
by Rasmussen, Lauge, Rauner, Felix
Published 1996
Springer London
Table of Contents: ...Section I: Scientific Concepts of Industrial Culture -- 1. Industrial Culture and Production...

2
Published 1996
Springer Berlin Heidelberg
... in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported...

3
by Munkvold, Bjorn E.
Published 2003
Springer London
Table of Contents: ... of Implementation Factors for Collaboration Technologies -- II Lessons from Industry -- 5 Implementing a Portfolio...

4
Published 1993
Springer Berlin Heidelberg
... are intended for both researchers in computer security and cryptography and for practitioners in industry...

5
by Liu, Shaoying
Published 2004
Springer Berlin Heidelberg
... the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides...

6
Published 1999
Springer London
...Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone...

7
Published 1998
Springer London
Table of Contents: ... Management -- A System Requirements Traceability Model: An Industrial Application -- Small Modules...

8
Published 1990
Springer Netherlands
Table of Contents: ... Control in Industries: Electric Power Systems -- 11 Status Report on Real Time Control in Steel Industry...

9
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...: Industrial usage -- Automating the generation and sequencing of test cases from model-based specifications...

10
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... program development -- Combining the design of industrial systems with effective verification techniques...

11
Published 1989
Springer Berlin Heidelberg
..., in June 1988. The objective of this NATO ARW on Advanced Information Technologies for Industrial Material...

12
by John, Karl-Heinz, Tiegelkamp, Michael
Published 2001
Springer Berlin Heidelberg
...The programming of industrial controllers has developed into a fully-fledged engineering discipline...

13
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... reactor safety system -- Test automation for safety-critical systems: Industrial application and future...

14
Published 1997
Springer Berlin Heidelberg
... of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods...

17
Published 1996
Physica
Table of Contents: ...I Geschäftsprozeßmanagement -- Kundenorientierung in Industrie, Dienstleistung und Verwaltung...

19
Published 1998
Springer Berlin Heidelberg
... a course on the state of the art and evolution of computer security and industrial cryptography...

20
by Fichtmüller, Niklas
Published 1996
Springer Berlin Heidelberg
Subjects: ...Industrial engineering...