Extending ASMETA with Time Features

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Digital Printed Abstract View Cite
Type
Short Paper
Publication
8th International Conference on Rigorous State Based Methods (ABZ'21)

Abstract

ASMs and the ASMETA framework can be used to model and analyze a variety of systems, and many of them rely on time constraints. In this paper, we present the ASMETA extension to deal with model time features.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{BombardaBGR21,
  author       = {Andrea Bombarda and
                  Silvia Bonfanti and
                  Angelo Gargantini and
                  Elvinia Riccobene},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {Extending {ASMETA} with Time Features},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {105--111},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_8},
  doi          = {10.1007/978-3-030-77543-8\_8},
  timestamp    = {Tue, 15 Jun 2021 17:24:03 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/BombardaBGR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'21

Related