Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Hybrid Systems
häftad,
1993,
Engelska,
ISBN 9783540573180
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical …
Formal Techniques in Real-Time and Fault-Tolerant Systems
häftad,
1998,
Engelska,
ISBN 9783540650034
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, …