Suggested Topics within your search.
Suggested Topics within your search.
1
2
3
Published 2013
Table of Contents: ';
“...Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort...”Get full text
Electronic
4
5
6
7
8
9
10
11
12
13
Published 2013
Table of Contents: ';
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”Get full text
Electronic
14
Published 2013
Table of Contents: ';
“... in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables...”Get full text
Electronic
15
Published 2002
Table of Contents: ';
“... in Concurrent Systems -- A Symbolic Semantics and Bisimulation for Full Lotos -- Implementing a Modal Logic Over...”View fulltext via EzAccess
Electronic
16
by Gross, Dietmar., Hauger, Werner., Schrd̲er, Jr̲g., Wall, Wolfgang A., Rajapakse, Nimal.
Published 2013
Table of Contents: ';
“... Examples of Coplanar Systems of Forces -- 2.5 Concurrent Systems of Forces in Space -- 2.6 Supplementary...”Published 2013
Get full text
Electronic