A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
21
(2)
61
(2)
73
(1)
Show More
Show Less
Author
Camargo, Leonor
(2)
Perry, Patricia
(2)
Samper, Carmen
(2)
Castro D.M.
(1)
Ferreira, N.
(1)
Molina, Óscar
(1)
Moreno J.C.M.
(1)
Nunes, L.
(1)
Oliveira, J.
(1)
Ortiz H.
(1)
Show More
Show Less
Subject
Software
(3)
Design
(2)
Geometría (matemáticas superiores)
(2)
Actuators
(1)
Android
(1)
Automated storage
(1)
Automation
(1)
Behavioral properties
(1)
Colored Petri Nets
(1)
Colored Petri nets models
(1)
Show More
Show Less
Year
2020
(5)
2007
(1)
2012
(1)
2014
(1)
2015
(1)
Show More
Show Less
Document Type
Conferencia
(5)
Show More
Show Less
Language
Inglés
(5)
Show More
Show Less
Your search
Subject:
Software Design
Document Type:
Conferencia
Language:
Inglés
Year:
2020
Sort by
Score
Title
Year
-
1-5 from
5
results
(0.01 seconds)
Title:
Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
Author:
Moreno J.C.M.
/
Castro D.M.
/
Ramirez J.L.V.
Language:
Inglés
Repository:
61
Subject:
Colored Petri Nets
/
Design methods
/
Discrete event systems
/
Actuators
/
Automation
/
Complex networks
/
Design
/
Manufacture
/
Petri nets
/
Process control
/
Wireless sensor networks
/
Behavioral properties
/
Colored Petri nets models
/
Design method
/
Distributed process
/
Safety requirements
/
Wireless sensor and actuator networks
/
Wireless sensors and actuator networks
/
Discrete event simulation
Title:
Mechatronic design of an automated storage system located inside a confined space
Author:
Yime E.
/
Villa J.L.
/
Paez J.
/
Ortiz H.
Language:
Inglés
Repository:
61
Subject:
Degrees of freedom (mechanics)
/
Design
/
Machine design
/
Robotics
/
Automated storage
/
Confined space
/
Design concept
/
Different heights
/
Four-degrees-of-freedom
/
Mechatronic design
/
Typical application
/
Product design
Title:
Dynamic geometry, implication and abduction: a case study
Author:
Samper, Carmen
/
Camargo, Leonor
/
Perry, Patricia
/
Molina, Óscar
Language:
Inglés
Repository:
21
Subject:
Geometría (matemáticas superiores)
/
Razonamiento
/
Estudio de casos
/
Software
Acceder
Acceder
Title:
Automated security testing of android applications for secure mobile development
Author:
Palma, F.
/
Ferreira, N.
/
Serrão, C.
/
Oliveira, J.
/
de Almeida, A.
/
Nunes, L.
Language:
Inglés
Repository:
73
Subject:
Vulnerabilities
/
Android
/
Mobile
/
Security
/
Test
/
Software
/
Development
/
Feedback
/
Developers
Acceder
Title:
Cabri's role in the task of proving within the activity of building part of an axiomatic system
Author:
Camargo, Leonor
/
Samper, Carmen
/
Perry, Patricia
Language:
Inglés
Repository:
21
Subject:
Geometría (matemáticas superiores)
/
Software
Acceder
Acceder
« Previous
1
Next »