Formal System Development with KIV

14 years 4 months ago

state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of

Michael Balser, Wolfgang Reif, Gerhard Schellhorn,

Abstract State Machines | FASE 2000 | Software Engineering | State-based Approach Kiv |

claim paper

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	FASE
Authors	Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums

Comments (0)