Runtime verification of programs using rule-based active system
| Autor: | Seyed Morteza Babamir |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: | |
| Zdroj: | Journal of Mahani Mathematical Research, Vol 1, Iss 1, Pp 77-95 (2012) |
| Druh dokumentu: | article |
| ISSN: | 2251-7952 2645-4505 |
| DOI: | 10.22103/jmmrc.2012.357 |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|