Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Temporal Logic of Reactive and Concurrent Systems
E-bok,
2012,
Engelska,
ISBN 9781461209317
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most …
Temporal Verification of Reactive Systems
E-bok,
2012,
Engelska,
ISBN 9781461242222
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some …