Search alternatives:
"composer" » "composed", "compose"
Cover Image
Read Now

1
Published 2004
Springer New York
Table of Contents: “... Analysis, Composability and Computation -- Access Control in Distributed Systems -- Implementing Condition...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Control of Switched Hybrid Systems Based on Disjunctive Formulations -- Composing Abstractions of Hybrid...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
“... in the formal verification of systems composed of both logical and continuous time components. The course...”