scientific article; zbMATH DE number 5173923
From MaRDI portal
Publication:5294158
zbMath1118.68544MaRDI QIDQ5294158
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
Publication date: 24 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Abstract State Machines with Exact Real Arithmetic ⋮ Concurrent abstract state machines ⋮ Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ The Subject-Oriented Approach to Software Design and the Abstract State Machines Method ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ Executable component-based semantics ⋮ A data-flow approach to test multi-agent ASMs
Uses Software