Personal Information
Organización/Lugar de trabajo
Covilhã Portugal
Ocupación
MSc in Computer Science and Engineering
Sitio web
www.joelcarvalho.net
Acerca de
http://www.joelcarvalho.net
Etiquetas
carfree.ubi
automato
automata
minimal
sensor_network
redes_sensor
prog_dinâmica
ubi
formal_methods
spec
specsharp
design_by_contracts
Ver más
Presentaciones
(14)Documentos
(7)Personal Information
Organización/Lugar de trabajo
Covilhã Portugal
Ocupación
MSc in Computer Science and Engineering
Sitio web
www.joelcarvalho.net
Acerca de
http://www.joelcarvalho.net
Etiquetas
carfree.ubi
automato
automata
minimal
sensor_network
redes_sensor
prog_dinâmica
ubi
formal_methods
spec
specsharp
design_by_contracts
Ver más