Saioa hasi
Izena eman

Jarduera akademikoa
Modelo orria
UEU
Komunikazioa
Komunitatea
Argitaletxea
Irisgarritasuna
Ekosistema teknologikoa
Bilaketa
Ohar legala
Cookie-politika
Podcastak
- Ikerl(h)ari
  - Irudiak
Iragarkiak
Txiotesia
Agenda
Ikergazte

Bilatu atarian

Bilaketa aurreratua…

Hasiera
Txiotesia
Txiotesia 4
Model Checking bidezko sistema fidagarrien berifikazio automatikoa

Warning: You have accessed the Plone backend through its Classic UI frontend.

If you want to use Plone's new frontend Volto instead:

Install Volto, if not already installed.
Start Volto, if not already started.
Visit the Volto frontend.

For more information, please read the documentation for how to Install Plone from its packages and refer to the full Volto documentation Frontend.

Model Checking bidezko sistema fidagarrien berifikazio automatikoa https://www.ueu.eus/api/txiotesia/txiotesia4/model-checking-bidezko-sistema-fidagarrien-berifikazio-automatikoa https://www.ueu.eus/api/txiotesia/txiotesia4/model-checking-bidezko-sistema-fidagarrien-berifikazio-automatikoa/@@images/image-1200-9862c113d38cc4235dfec4eb449fa1bc.jpeg

Model Checking bidezko sistema fidagarrien berifikazio automatikoa

Egilea Alex Abuin Yepes

Erabiltzaile izena lexlesaka

Irabazlea no

Saria

Txiotesiak https://twitter.com/lexlesaka/status/1064924877067599872 https://twitter.com/lexlesaka/status/1064925799852269569 https://twitter.com/lexlesaka/status/1064929319498199040

Irabazlearen irudia Irudirik ez

Mastodon no

Irudia

Irudi-oina

Testua

Ezarpenak

Izen-laburra model-checking-bidezko-sistema-fidagarrien-berifikazio-automatikoa

Edukiak

Ez dago elementurik karpeta honetan.

Gako-hitzak

LoRea informatika ingeniaritza IK4_Ikerlan UPV/EHU