Prodotto Ricercato: ecu software
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checkin…
A partire da
Disponibilità
Dieses Fach- und Lehrbuch enthält die maschinengenerierten Zusammenfassungen einer Datenbankrecher…
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checkin…
This book reviews existing operational software failure analysis techniques and proposes near-miss …
Automatic Graph Drawing is concerned with the layout of relational structures as they occur in Comp…
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Veri…
Software development is hard, but creating good software is even harder, especially if your main jo…
Many and ever more mobile users wish to enjoy a variety of multimedia services, in very diverse geo…
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Che…
The name âSPINâ refers both to a workshopon model checking and to a famous model checking tool.…
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International…
This book is the second volume of a two-volume book set which introduces software-defined chips. In…
