Presents modeling approaches that can be performed in SysML and other modeling languages This book combines the emerging discipline of systems architecting with model-based approaches using SysML. The early chapters of the book provide the fundamentals of systems architecting; d…
This book is an edition of the General Report on Tunny with commentary that clarifies the often difficult language of the GRT and fitting it into a variety of contexts arising out of several separate but intersecting story lines, some only implicit in the GRT. Explores the likel…
Spanning the broad range of environmental, financial, policy and other topics that define and determine the relationships between wind energy technology and our energy-dependent society, Wind Energy Essentials is a resource for students, universities, and the entire wind energy …
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics …
Plasmonic Sensors and Applications
Plasmonic sensors and their applications
Inkjet printing in industry
