From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

HATS Abstract Behavioral Specification: The Architectural View.

R. Hähnle, M. Helvensteijn, E. Johnsen, M. Lienhardt, D. Sangiorgi, I. Schaefer, и P. Wong. FMCO, том 7542 из Lecture Notes in Computer Science, стр. 109-132. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Action Systems for Pharmacokinetic Modeling.M. Bonsangue, M. Helvensteijn, J. Kok, и N. Kokash. From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Dynamic delta modeling.M. Helvensteijn. SPLC (2), стр. 127-134. ACM, (2012)A modal logic for abstract delta modeling.F. de Boer, M. Helvensteijn, и J. Winter. SPLC (2), стр. 45-52. ACM, (2012)Delta modeling in practice: a Fredhopper case study.M. Helvensteijn, R. Muschevici, и P. Wong. VaMoS, стр. 139-148. ACM, (2012)ApiNATOMY: Towards Multiscale Views of Human Anatomy.B. de Bono, P. Grenon, M. Helvensteijn, J. Kok, и N. Kokash. IDA, том 8819 из Lecture Notes in Computer Science, стр. 72-83. Springer, (2014)Applying Data Mining to the Study of Joseki.M. Helvensteijn. IFIP AI, том 276 из IFIP, стр. 87-96. Springer, (2008)Delta modeling workflow.M. Helvensteijn. VaMoS, стр. 129-137. ACM, (2012)Abstract delta modeling: my research plan.M. Helvensteijn. SPLC (2), стр. 217-224. ACM, (2012)Toward a Formal Foundation for Time Travel in Stories and Games.M. Helvensteijn, и F. Arbab. Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 261-276. Springer, (2016)