Related Books

IUTAM Symposium on Solver-Coupling and Co-Simulation
Language: en
Pages: 291
Authors: Bernhard Schweizer
Categories: Technology & Engineering
Type: BOOK - Published: 2019-05-14 - Publisher: Springer

DOWNLOAD EBOOK

This is the Proceedings of the IUTAM Symposium on Solver Coupling and Co-Simulation that was held in Darmstadt, Germany, September 18-20, 2017. The symposium fo
Software Technologies: Applications and Foundations
Language: en
Pages: 658
Authors: Manuel Mazzara
Categories: Computers
Type: BOOK - Published: 2018-12-06 - Publisher: Springer

DOWNLOAD EBOOK

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies:
Simulation and Modeling Methodologies, Technologies and Applications
Language: en
Pages: 199
Authors: Mohammad S. Obaidat
Categories: Technology & Engineering
Type: BOOK - Published: 2020-07-31 - Publisher: Springer Nature

DOWNLOAD EBOOK

The present book includes a set of selected best extended papers from the 9th International Conference on Simulation and Modeling Methodologies, Technologies an
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Language: en
Pages: 533
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2018-10-30 - Publisher: Springer

DOWNLOAD EBOOK

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
On Standardized Model Integration
Language: en
Pages: 76
Authors: Robert Hällqvist
Categories:
Type: BOOK - Published: 2019-12-20 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

Designing modern aircraft is not an easy task. Today, it is not enough to optimize aircraft sub-systems at a sub-system level. Instead, a holistic approach is t