Search alternatives:
22dynamical systems » dynamical systems, dynamical system, _ dynamicalsystems
ofdynamical systems » dynamical systems, dynamical system, _ dynamicalsystems
Cover Image
Read Now

1
Published 2016
Springer Berlin Heidelberg
Table of Contents: “...: Protocol Programming with Automata -- DLC: Compiling a Concurrent System Formal Specification to a...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... with an Evolving Topology -- On the Construction of Sorted Reactive Systems -- Dynamic Partial Order Reduction...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Software Systems -- Patterns -- Formal Foundation for Pattern-Based Modelling -- Problem-Oriented...”