Roman Wyrzykowski

Learn More
Abstract state machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper presents a proposition of a hybrid approach to the specification, analysis and testing of grid middleware using ASM. This approach allows an easy integration of created specification of developed middleware with existing(More)