Runtime verification of programs using rule-based active system

Bibliographic Details
Main Author:	Seyed Morteza Babamir
Format:	Article
Language:	English
Published:	Shahid Bahonar University of Kerman 2012-01-01
Series:	Journal of Mahani Mathematical Research
Subjects:	run-time verification eca rule active database aspect-oriented
Online Access:	https://jmmrc.uk.ac.ir/article_357_97eeac60f6ee481c938b4ed4674c9aaf.pdf

Internet