Personal Information
Entreprise/Lieu de travail
Covilhã Portugal
Profession
MSc in Computer Science and Engineering
Site Web
www.joelcarvalho.net
À propos
http://www.joelcarvalho.net
Mots-clés
carfree.ubi
automato
automata
minimal
sensor_network
redes_sensor
prog_dinâmica
ubi
formal_methods
spec
specsharp
design_by_contracts
Tout plus
Présentations
(14)Documents
(7)Personal Information
Entreprise/Lieu de travail
Covilhã Portugal
Profession
MSc in Computer Science and Engineering
Site Web
www.joelcarvalho.net
À propos
http://www.joelcarvalho.net
Mots-clés
carfree.ubi
automato
automata
minimal
sensor_network
redes_sensor
prog_dinâmica
ubi
formal_methods
spec
specsharp
design_by_contracts
Tout plus