External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines

Andreea Buga, Sorana Tania Nemes. Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. In Antonio Cerone, Marco Roveri, editors, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Volume 10729 of Lecture Notes in Computer Science, pages 153-167, Springer, 2017. [doi]

Authors

Andreea Buga

This author has not been identified. Look up 'Andreea Buga' in Google

Sorana Tania Nemes

This author has not been identified. Look up 'Sorana Tania Nemes' in Google
runs on