Cover Image
Read Now

1
Published 2014
Springer Berlin Heidelberg
“... on Abstract State Machines, B, TLA, VDM, and Z, which took place in Toulouse, France, in June 2014. The 13...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Table of Contents: “...Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets -- A Universal...”
Cover Image
Read Now

4
Published 2021
Springer International Publishing
Table of Contents: “... and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting...”
Cover Image
Read Now

5
Published 2015
Springer International Publishing
Table of Contents: “... approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights...”
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Based on Ambient -- Abstract State Machines -- The Semantics of Models: A Semiotic Philosophy of Science...”
Cover Image
Read Now

7
by Schewe, Klaus-Dieter, Thalheim, Bernhard
Published 2019
Springer Berlin Heidelberg
Cover Image
Read Now

8
Published 2012
Springer Berlin Heidelberg
“..., triggers, abstract state machines, database and information systems design, web semantics, and business...”
Cover Image
Read Now

9
Published 2007
Springer Berlin Heidelberg
“... on high levels of abstractions; and to minimize ambiguities in system development. Initially, conceptual...”