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

Planned intervention: On Tuesday, May 13th between 08:00-08:15 (UTC), Zenodo will be unavailable for 5 minutes because of a scheduled upgrade of our server infrastructure.

Published May 3, 2023 | Version 1.0
Software Open

Formalizing Model Inference of MicroPython

Creators

  • Carlos Mão de Ferro1
  • Tiago Cogumbreiro2 ORCID icon
  • Francisco Martins3
  • 1. ULisboa
  • 2. University of Massachusetts Boston
  • 3. Universidade dos Açores

Description

Artifact

Files

Files (13.4 kB)

Name Size Download all
Shelly.v
md5:b4a66bbbd28cdf78719425c6c0261df8
13.4 kB Download
127
Views
32
Downloads
Show more details
All versions This version
Views

Total views

127 127
Downloads

Total downloads

32 32
Data volume

Total data volume

468.9 kB 468.9 kB

More info on how stats are collected....

Versions

External resources

Indexed in

  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.7892202
DOI Badge

DOI

10.5281/zenodo.7892202

Markdown

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

reStructuredText

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

HTML

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

Image URL

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

Target URL

https://doi.org/10.5281/zenodo.7892202
Resource type
Software
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

Citation

Export

Technical metadata

Created
May 3, 2023
Modified
May 3, 2023

About

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

Blog

  • Blog

Help

  • FAQ
  • Docs
  • Guides
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

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

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