Abstraction levels in the Abstract State Machine (ASM) method for system specification

Jan Kubovy, Mariam Rady, Dagmar Auer, Josef Küng

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013
Place of Publication	Hanoi
Publisher	Vietnam Academy of Science and Techology
Pages	1-9
Number of pages	5
Volume	51
Publication status	Published - Oct 2013

Name	Journal of Science and Technology

Fields of science

Kubovy, J., Rady, M., Auer, D., & Küng, J. (2013). Abstraction levels in the Abstract State Machine (ASM) method for system specification. In Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013 (Vol. 51, pp. 1-9). (Journal of Science and Technology). Vietnam Academy of Science and Techology.

Kubovy, Jan ; Rady, Mariam ; Auer, Dagmar et al. / Abstraction levels in the Abstract State Machine (ASM) method for system specification. Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013. Vol. 51 Hanoi : Vietnam Academy of Science and Techology, 2013. pp. 1-9 (Journal of Science and Technology).

@inproceedings{ff915b09be2f4b57a2906250341137fa,

title = "Abstraction levels in the Abstract State Machine (ASM) method for system specification",

author = "Jan Kubovy and Mariam Rady and Dagmar Auer and Josef K{\"u}ng",

year = "2013",

month = oct,

language = "English",

volume = "51",

series = "Journal of Science and Technology",

publisher = "Vietnam Academy of Science and Techology",

pages = "1--9",

booktitle = "Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013",

}

Abstraction levels in the Abstract State Machine (ASM) method for system specification. / Kubovy, Jan; Rady, Mariam; Auer, Dagmar et al.
Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013. Vol. 51 Hanoi: Vietnam Academy of Science and Techology, 2013. p. 1-9 (Journal of Science and Technology).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Abstraction levels in the Abstract State Machine (ASM) method for system specification

AU - Kubovy, Jan

AU - Rady, Mariam

AU - Auer, Dagmar

AU - Küng, Josef

PY - 2013/10

Y1 - 2013/10

M3 - Conference proceedings

VL - 51

T3 - Journal of Science and Technology

SP - 1

EP - 9

BT - Journal of Science and Techology - Special Issue on International Conference on Advanced Computing and Applications, ACOMP 2013

PB - Vietnam Academy of Science and Techology

CY - Hanoi

ER -