Publications

Runtime Programming Through Model-Preserving, Scalable Runtime Patches

AuthID
P-008-081

Author(s)

Kirsch, CM

Lopes, L

Marques, ERB

Sokolova, A

Editor(s)

Benoît Caillaud; Josep Carmona; Kunihiko Hiraishi

Document Type

Proceedings Paper

Year published

2011

Published

in Proceedings - International Conference on Application of Concurrency to System Design, ACSD in ACSD, ISSN: 1550-4808

Pages: 77-86

Conference

11Th International Conference on Application of Concurrency to System Design, Acsd 2011, Date: 20 June 2011 through 24 June 2011, Location: Newcastle Upon Tyne, Sponsors: Newcastle University;Japan Advanced Institute of Science and Technology (JAIST);Kanazawa University;Res. Cent. Softw. Verif., Japan Adv. Inst. Sci. Technol. (JAIST);Formal Methods Europe

Indexing