Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marek Boryga
Numerical Verification of the Correctness of the Modelling Clutch With Adjustable Torsional
Mechanik
Stress Analysis of the Sugar Beet Lifter With the Finite Element Method (FEM)
Agricultural Engineering
Related publications
The Quest for Correctness-Beyond a Posteriori Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Analysis of Engagement Behavior of One-Way Clutch With a Variable Rectangular Cross-Section Torsional Spring
Advances in Mechanical Engineering
Mechanical Engineering
Verification of the Ramberg-Osgood Material Model in Midas GTS NX With the Modeling of Torsional Simple Shear Tests
Periodica Polytechnica: Civil Engineering
Civil
Geotechnical Engineering
Engineering Geology
Structural Engineering
Numerical Modelling of the Resaturation of Swelling Clay With Gas Injection
Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
Cybernetics and Information Technologies
Computer Science
A Numerical Analysis of Friction Plate on Automotive Clutch System
International Journal of Advance Engineering and Research Development
A Review on the Verification Approaches and Tools Used to Verify the Correctness of Security Algorithms and Protocols
International Journal of Advanced Computer Science and Applications
Computer Science
Fast Modelling and Simulation of the Dynamic Behaviour of a Wet Multidisc Clutch During the Engagement Phase
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Validate the Correctness of Object Oriented Program With Regression Testing
International Journal of Computer Applications