Characteristics of the Plano-Convex Ultrasonic Transducer

von KOBAYASHI, Tsutomu
Veröffentlicht in Symposium on Ultrasonic Electronics (5 : 1984 : Tokio) Proceedings of the 5th Symposium on Ultrasonic Electronics (1985)

Focusing Ultrasonic Transducer with Broad Bandwidth of the Plano-Concave and Plano-Convex Shapes

von KOBAYASHI, Tsutomu
Veröffentlicht in Symposium on Ultrasonic Electronics (4 : 1983 : Tokio) Proceedings of the 4th Symposium on Ultrasonic Electronics (1984)

Development of survey method for freshwater lens in Marshall Islands

Veröffentlicht 201210

Charge-carrier drift mobility in perylene single crystals

von Maruyama, Yusei
Veröffentlicht 1972

Development of survey method for freshwater lens in Marshall Islands

Veröffentlicht 2012

A-08 Chemical Preparations and Two-Stage Sintering of PLZ

von YOSHIKAWA, Yoshio
Veröffentlicht in Meeting on Ferroelectric Materials and Their Applications (6 : 1987 : Kyōto) Proceedings of the 6th Meeting of Ferroelectric Materials and Their Applications (FMA-6) (1987)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainy

von Kobayashi, Tsutomu
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Formal Distributed Protocol Development for Reservation of Railway Sections

von Stankaitis, Paulius
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

von Dupont, Guillaume
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)