Cover Image
Read Now

121
Published 2023
Springer Nature Switzerland
“... areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems...”
Cover Image
Read Now

122
Published 1996
Springer Berlin Heidelberg
“... design of distributed and concurrent systems. As a realistic example typical for operating systems...”
Cover Image
Read Now

123
Published 1990
Springer New York
Table of Contents: “... -- Connections between a concrete and an abstract model of concurrent systems -- A hierarchy of domains for real...”
Cover Image
Read Now

124
Published 1988
Springer New York
Table of Contents: “... engineering for concurrent systems -- SEI demonstration: Advanced learning technologies project...”
Cover Image
Read Now

125
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-Targeted Graphic Formal Notation for Reactive and Concurrent Systems -- Conservative Extension in Positive...”
Cover Image
Read Now

126
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... Accelerated Life Testing of Complex Systems -- Alvis – Modelling Language for Concurrent Systems...”
Cover Image
Read Now

127
Published 1991
Springer London
Table of Contents: “... Programming: Part 1 -- Design, Verification and Documentation of Concurrent Systems -- A Formal Method...”
Cover Image
Read Now

128
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... Pattern Recognition -- III VLSI Systems for Image Processing -- 7. Concurrent Systems for Image Analysis...”
Cover Image
Read Now

129
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Concurrent Systems with Executable Designs -- Formal Verification for Components and Connectors -- The DEPLOY...”
Cover Image
Read Now

130
Published 1990
Springer New York
“.... Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems...”
Cover Image
Read Now

131
by Smith, Graeme
Published 2000
Springer US
Table of Contents: “... Expressions -- 5 Concurrent Systems -- 5.1 Aggregation -- 5.2 Synchronization -- 5.3 Communication -- 5.4...”
Cover Image
Read Now

132
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... for Decidability and Undecidability of Bisimilarity -- Testing Concurrent Systems: A Formal Approach -- Accepted...”
Cover Image
Read Now

133
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...-deterministic ?-automata -- A partial-order approach to the verification of concurrent systems: Checking...”
Cover Image
Read Now

134
Published 1991
Springer Berlin Heidelberg
“... in Concurrent Systems)...”
Cover Image
Read Now

135
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... in functional program implementations -- Development of concurrent systems by incremental transformation -- Set...”
Cover Image
Read Now

136
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... approach to specify and to prove properties of finite state concurrent systems -- A comparison...”
Cover Image
Read Now

137
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Concurrent Systems with Prioritized FIFO Resource Management -- Probabilistic Automata -- Input/Output...”
Cover Image
Read Now

138
Published 2009
Springer Berlin Heidelberg
“... and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools...”
Cover Image
Read Now

139
Published 1991
Springer Japan
Table of Contents: “... Transparency as a Tool to Reduce Interferences in Monitoring Concurrent Systems -- 12. Realtime Communication...”
Cover Image
Read Now

140
Published 2015
Springer International Publishing
Table of Contents: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”