Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Planned intervention: On Thursday April 23rd 06:30 UTC Zenodo will be unavailable for 20-30 minutes to perform a storage cluster upgrade.

Ne.app
Published April 4, 2026 | Version v2
Publication Open

AUDIT-ABILITY FOR FINITE STATE MACHINES.

Authors/Creators

  • El Mahrouss, Amlal (Researcher)1 ORCID icon
  • 1. Ne.app

Files

research_paper_ne_app-v2.pdf

Files (188.3 kB)

Name Size Download all
research_paper_ne_app-v2.pdf
md5:cebd110ddfb12a573fd88fdb22b8132d
188.3 kB Preview Download

Additional details

Software

Programming language
TeX
Development Status
Wip
38
Views
17
Downloads
Show more details
All versions This version
Views

Total views

38 25
Downloads

Total downloads

17 9
Data volume

Total data volume

4.3 MB 2.6 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.19420024
DOI Badge

DOI

10.5281/zenodo.19420024

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.19420024.svg)](https://doi.org/10.5281/zenodo.19420024)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.19420024.svg
  :target: https://doi.org/10.5281/zenodo.19420024

HTML

<a href="https://doi.org/10.5281/zenodo.19420024"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.19420024.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.19420024.svg

Target URL

https://doi.org/10.5281/zenodo.19420024
Resource type
Publication
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more
Copyright
Copyright (C) 2026 Amlal El Mahrouss

Citation

Export

Technical metadata

Created
April 4, 2026
Modified
April 4, 2026

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies