scientific article
From MaRDI portal
Publication:2769619
zbMath0978.68761MaRDI QIDQ2769619
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310578
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ A data-flow approach to test multi-agent ASMs ⋮ ASM Workbench
This page was built for publication:
