Software for the verification of Timoshenko beam finite elements.
David DayPublished in: Adv. Eng. Softw. (2019)
Keyphrases
- finite element
- finite element model
- software systems
- boundary element
- software development
- finite element analysis
- formal verification
- formal methods
- software maintenance
- material properties
- cross section
- user interface
- software tools
- software projects
- model checking
- experimental data
- computer systems
- asynchronous circuits
- mesh generation
- source code
- software design
- software components
- numerical solution
- design patterns
- signature verification
- development process
- finite difference