✦ LIBER ✦

Formal Verification of Dynamic Properties in an Aerospace Application

✍ Scribed by Simin Nadjm-Tehrani; Jan-Erik Strömberg

Book ID: 110265696
Publisher: Springer
Year: 1999
Tongue: English
Weight: 337 KB
Volume: 14
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008651801000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to formal specification and

An approach to formal specification and verification of map-centered applications

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Application of BDDs in Boolean matching

Application of BDDs in Boolean matching techniques for formal logic combinational verification

✍ Janett Mohnke; Paul Molitor; Sharad Malik 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 200 KB

A numerical study of non-linear dynamics

A numerical study of non-linear dynamics in a tank for aerospace applications

✍ Edoardo Bucchignani 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Dynamic Partitioning in Linear Relation

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems

✍ B. Jeannet 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 844 KB

Applicability of four parameter formalis

Applicability of four parameter formalisms in interpreting thermodynamic properties of binary systems

✍ S ACHARYA; J P HAJRA 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 224 KB

An overview on the development of titani

An overview on the development of titanium alloys for non-aerospace application in Japan

✍ Makoto Yamada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 632 KB

The current market size for titanium alloys in Japan is about 550 metric tons a year, which is smaller when compared with western countries and Russia. Historically, titanium has been utilized in Japan for markets that require excellent resistance to severe corrosive environments, rather than for sp