wyszukanych pozycji: 3
![]() |
Model Based Testing for Real-Time Systems
ISBN: 9783843359160 / Angielski / Miękka / 2010 / 192 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) state identification problems and (II) black-box conformance testing. For state identification problems, we are given the model of a machine with an initial unknown state and we look for an experiment to apply to identify the initial unknown state or the final state to which the machine has moved. For black-box conformance testing, we are given a model of the machine and we want to check whether the machine conforms to its model or not. Before solving state...
We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) state identification problems an...
|
cena:
304,16 |
![]() |
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023,
ISBN: 9783031497360 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
221,37 |
![]() |
Modeling of Discrete and Continuous Systems: Ordinary, Partial and Fractional Derivatives
ISBN: 9789819787142 / Angielski / Twarda / 2025 / 338 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book contains a comprehensive collection of chapters on recent and original research, along with review articles, on mathematical modeling of dynamical systems described by various types of differential equations. Structured into 18 chapters dedicated to exploring different aspects of differential equations and their applications in modeling both discrete and continuous systems, it highlights theoretical advancements in mathematics and their practical applications in modeling dynamic systems. Readers will find contributions by renowned scholars who delve into the intricacies of...
This book contains a comprehensive collection of chapters on recent and original research, along with review articles, on mathematical modeling of d...
|
cena:
603,81 |