[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 10202 || Family-Based Model Checking with mCRL2
- 作者Huisman, Marieke; Rubin, Julia
- 文件大小998.77KB
- 发表时间2017
- DOI10.1007/978-3-662-54494-5_23
- 页码387-405
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 ||Harvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Modal Expansion using Strain Mode ShapesHarvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Design of an Assembly for Nonlinear Vibration ReductionHarvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Experimental Modal Analysis of an Aircraft Fuselage PanelHarvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Frequency Based Spatial Damping Identification—Theoretical and Experimental ComparisonHarvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Hydro-Mechanical Coupling in Unstable Aircraft Braking SystemsHarvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Vibration of Cracked Timoshenko Beam Made of Functionally Graded MaterialHarvie, Julie M.; Baqersad, Javad · 2017
[Conference Proceedings of the Society for Experimental Mechanics Series] Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9 || Nonlinear Vibrations of a Functionally Graded Material Microbeam with Geometric NonlinearityHarvie, Julie M.; Baqersad, Javad · 2017