Publicações

Runtime Programming Through Model-Preserving, Scalable Runtime Patches

AuthID
P-008-081

Author(s)

Kirsch, CM

Lopes, L

Marques, ERB

Sokolova, A

Editor(es)

Benoît Caillaud; Josep Carmona; Kunihiko Hiraishi

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

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

Páginas: 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, Patrocinadores: 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