Resultados da busca por Autor

1

Simulation and formal verification of industrial systems controllers

por Machado, José Mendes

Publicado em 2008

Acessar documento

2

Partial plant models in formal verification of industrial automation discrete systems

por Machado, José Mendes

Publicado em 2011

Acessar documento

3

Development of dependable controllers in the context of machines design

por Machado, José Mendes

Publicado em 2014

Acessar documento

4

Model of mechanism behavior for verification of PLC programs

por Machado, José Mendes

Publicado em 2004

Acessar documento

5

Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets

por Machado, José Mendes

Publicado em 2006

Acessar documento

6

Design of an adapted standing frame for rehabilitation of children with mental deficiency

por Machado, José Mendes

Publicado em 2011

Acessar documento

Artigo

7

Síntese e implementação do comando de Sistemas Automatizados de Produção utilizando Statecharts e as linguagens IEC 61 131-3

por Machado, José Mendes

Publicado em 2001

Acessar documento

Outros

8

Concepção e realização do comando operacional de sistemas industriais de eventos discretos

por Machado, José Mendes

Publicado em 2001

Acessar documento

Outros

9

A systematized approach to obtain dependable controllers specifications

por Machado, José Mendes

Publicado em 2010

Acessar documento

10

A specification patterns system for discrete event systems analysis

por Campos, J. Creissac

Publicado em 2013

Outros Autores: “...Machado, José Mendes...”
Acessar documento

Artigo

11

Using advanced simulation techniques to improve industrial controller’s dependability

por Seabra, Eurico

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

12

Teaching kinematics and dynamics of multibody mechanical systems using the object oriented language modelica

por Seabra, Eurico

Publicado em 2009

Outros Autores: “...Machado, José Mendes...”
Acessar documento

Artigo

13

Design of a mechatronic system for application of hardware-in-the-loop simulation technique

por Chioran, Daniel

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

Artigo

14

Supporting requirements formulation in software formal verification

por Campos, J. Creissac

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

15

Conceptual design and development of an automated co-generation system

por Seabra, Eurico

Publicado em 2012

Outros Autores: “...Machado, José Mendes...”
Acessar documento

Artigo

16

Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller

por Kunz, Guilherme

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

17

A dependable automated people mover system modeled and verified using timed automata : a case study

por Kunz, Guilherme

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

18

Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirements

por Kunz, Guilherme

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

19

Biomedical device for spasticity quantification based on the velocity dependence of the stretch reflex threshold

por Ferreira, João Amaro Oliveira

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

20

Design and development of a feeding aid device to assist people with deficiency

por Seabra, Eurico

Publicado em 2011

Outros Autores: “...Machado, José Mendes...”
Acessar documento

Exportar CSV Exportar RIS