Hemen zaude: Hasiera › #txiotesia › Txiotesia 4 › Model Checking bidezko sistema fidagarrien berifikazio automatikoa

Model Checking bidezko sistema fidagarrien berifikazio automatikoa

Egilea: Alex Abuin Yepes @lexlesaka

Etiketak: LoRea informatika ingeniaritza IK4_Ikerlan UPV/EHU