Cover Image
Read Now

1
by Cifuentes, Arturo O.
Published 1989
Springer New York
Table of Contents: “...Basic MSC/NASTRAN concepts -- 1 Statics -- Problem 1 -- Problem 2 -- Problem 3 -- Problem 4...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems -- MSC...”
Cover Image
Read Now

3
by Küsters, Ralf
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Description Logics -- Non-Standard Inferences -- Characterizing Subsumption -- LCS and MSC...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Sequence Charts to Accelerate Maintenance of Existing Systems -- From MSC-2000 to UML 2.0 – The Future...”
Cover Image
Read Now

5
by Corbin, Annalies
Published 2002
Springer US
Table of Contents: “... and Bertrand -- Methodology -- Bertrand Box 74 -- Bertrand FPC-8 -- Bertrand MSC-128 -- Bertrand FSC-234...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- A Real-Time Profile for UML and How to Adapt It to SDL -- MSC Connectors — The Chamber of Secrets...”
Cover Image
Read Now

7
Published 1996
Springer US
Table of Contents: “...-Time Techniques: Combined Use of OMT, SDL and MSC -- 3.1. Introduction -- 3.2. The OORT engineering...”
Cover Image
Read Now

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...-Optimal Data Structure for Sets and Mappings -- Checking Consistency of SDL+MSC Specifications -- Model...”
Cover Image
Read Now

9
Published 2003
Deutscher Universitätsverlag
Table of Contents: “... -- An examination of the use of Web-based Resources in an on-site M.Sc. Course in Multimedia Technology...”
Cover Image
Read Now

10
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Requirements Using MSC and Their Application to Testing -- From Safety Verification to Safety Testing...”
Cover Image
Read Now

11
Published 1991
Vieweg+Teubner Verlag
Table of Contents: “... -- Elastodynamik der Fahrzeugbewegung -- MSC/NASTRAN-Einsatz für Eigenwertanalysen -- Zur Kopplung von Torsions...”
Cover Image
Read Now

12
by Virk, G.S.
Published 1991
Macmillan Education UK
“... of such systems. Aimed at advanced undergraduate/MSc level students, this book aims to present a generic approach...”
Cover Image
Read Now

13
by Dean, Neville
Published 2003
Macmillan Education UK
“...: undergraduates in computer science, maths, philosophy, and those on MSc conversion courses. It is particularly...”
Cover Image
Read Now

14
by Graham, Brian T.
Published 1992
Springer US
“... and execution of the automated correctness proof in HOL. This monograph reports on Graham's MSc project...”
Cover Image
Read Now

15
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object...”
Cover Image
Read Now

16
Published 2002
Springer London
Table of Contents: “... -- 4.5 CDMA Receiver Techniques for Future MSC Systems -- 4.6 Conclusions -- 4.7 Appendix -- 5...”
Cover Image
Read Now

17
by Cherepanov, G.P.
Published 1997
Springer Netherlands
“... and interpreted. The many open problems which are encountered will provide topics for MSc and PhD theses...”
Cover Image
Read Now

18
by Steen, William M.
Published 1991
Springer London
“... Aerospace, and to his own MSc students in laser technology. This unique combination of topics has excellent...”
Cover Image
Read Now

19
by König, Hartmut
Published 2003
Vieweg+Teubner Verlag
“... hinaus werden Einführungen in die formalen Beschreibungstechniken SDL 2000, MSC, ASN.1, LOTOS sowie die...”
Cover Image
Read Now

20
Published 2001
Springer Berlin Heidelberg
Table of Contents: “.../MSC-Specified Systems -- Characterization and Analysis of Software and Computer Systems...”