| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457645903321 |
|
|
Titolo |
High-speed flight propulsion systems [[electronic resource] /] / edited by S.N.B. Murthy, E.T. Curran |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : American Institute of Aeronautics and Astronautics, 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-60086-610-7 |
1-60086-391-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (538 p.) |
|
|
|
|
|
|
Collana |
|
Progress in astronautics and aeronautics, , 0079-6050 ; ; v. 137 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Propulsion systems |
High-speed aeronautics |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Cover""; ""Title""; ""Copyright""; ""Table of Contents""; ""Preface""; ""Introduction""; ""Chapter 1 Propulsion Systems from Takeoff to High-Speed Flight""; ""Chapter 2 Propulsion System Performance and Integration for High Mach Air Breathing Flight""; ""Chapter 3 Energy Analysis of High-Speed Flight Systems""; ""Chapter 4 Waves and Thermodynamics in High Mach Number Propulsive Ducts""; ""Chapter 5 Turbulent Free Shear Layer Mixing and Combustion""; ""Chapter 6 Turbulent Mixing in Supersonic Combustion Systems""; ""Chapter 7 Mixing and Mixing Enhancement in Supersonic Reacting Flowfields"" |
""Chapter 8 Study of Combustion and Heat-Exchange Processes in High-Enthalpy Short-Duration Facilities""""Chapter 9 Facility Requirements for Hypersonic Propulsion System Testing""; ""Author Index"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465335803316 |
|
|
Autore |
Veanes Margus |
|
|
Titolo |
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, proceedings / / Margus Veanes, Jan Tretmans and Wolfgang Grieskamp |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 379 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 4581 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Telecommunication systems - Testing |
Computer software - Testing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Implementing Conformiq Qtronic -- New Approach for EFSM-Based Passive Testing of Web Services -- Automation of Avionic Systems Testing -- Automatic Test Generation from Interprocedural Specifications -- A New Method for Interoperability Test Generation -- Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware -- Symbolic Model Based Testing for Component Oriented Systems -- A Compositional Testing Framework Driven by Partial Specifications -- Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols -- Testing and Model-Checking Techniques for Diagnosis -- Model-Based Testing of Service Infrastructure Components -- Testing Input/Output Partial Order Automata -- A Framework for Testing AIS Implementations -- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones -- Model Based Testing of an Embedded Session and Transport Protocol -- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites -- A Bounded Incremental Test Generation Algorithm for Finite State Machines -- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control -- Towards Systematic Signature Testing -- TPLan-A Notation for Expressing Test Purposes -- Testing Nondeterministic Finite State Machines with |
|
|
|
|
|
|
|
|
|
|
Respect to the Separability Relation -- Learning and Integration of Parameterized Components Through Testing -- An EFSM-Based Passive Fault Detection Approach -- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3 -- Model-Based Testing of Optimizing Compilers. |
|
|
|
|
|
| |