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 …
"2" Result
Sort By:
Presents a systematic treatment of fuzzy fractional differential equations as well as newly developed computational methods to model uncertain physical problems Complete with comprehensive results and solutions, Fuzzy Arbitrary Order System: Fuzzy Fractional Differential Equatio…