Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 9 results. Subscribe to this search

|
No cover image available
Extração automática de modelos de sistemas de tempo real [Documento eletrónico] / André Ribeiro de Carvalho ; orient. Jorge Sousa Pinto, Simão Melo de Sousa Monografia Publication [Braga : s.n.], 2011 Online resource Acesso Livre Availability No copies available

Add to cart
No cover image available
Towards a formally designed and verified embedded operating system [Documento eletrónico] : case study using the B Method / André Brito Passos ; orient. Simão Melo de Sousa, José Miguel Faria Produtos Computador Publication [Covilhã : s.n.], 2009 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x15x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Timing analysis [Documento eletrónico] : from predictions to certificates / Nuno Miguel Pires Gaspar ; orient. Simão Melo de Sousa, Rogério Reis Produtos Computador Publication Covilhã : [s.n.], 2010 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x15x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Learning and testing stochastic discrete event systems [Documento eletrónico] / André de Matos Pedro ; orient. Simão Melo de Sousa, Maria João Frade Monografia Publication [Braga : s.n.], 2012 Online resource Acesso livre Availability No copies available

Add to cart
No cover image available
Towards a formally verified microkernel using the frama-C toolset [Documento electrónico] / Carlos José Abreu Dias da Silva Carloto ; orient. Simão Melo de Sousa Produtos Computador Publication Covilhã : [s.n, 20--] Description 1 disco ótico (CD-ROM) ; em caixa 14x13x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Contributions to governmental eID platforms [Documento eletrónico] : the Portuguese and the European Citizen Cards / Manuel Fernando V. Preliteiro ; orient. Simão Melo de Sousa, Pedro Borges Produtos Computador Publication Covilhã : [s.n.], 2009 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x14x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Verificação automatizada de sistemas de tempo real críticos [Documento eletrónico] / Joel Silva Carvalho ; orient. Simão Melo de Sousa Produtos Computador Publication Covilhã : [s.n.], 2009 Description 1 disco ótico (CD-ROM) ; em caixa 14x13x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Towards a formally verified microkernel using the VCC verifier [Documento eletrónico] / Joaquim José e Silva de Carvalho Tojal ; orient. Simão Melo de Sousa, José Miguel Faria Produtos Computador Publication Covilhã : [s.n.], 2010 Description 1 disco ótico (CD-ROM) : il. ; em caixa 13x14x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Desenvolvimento formal de um sistema de sinalização ferroviária de acordo com o normativo CENELEC usando o SCADE [Documento eletrónico] / Henrique Costa ; orient. Simão Melo de Sousa, Luís Roboredo Produtos Computador Publication Covilhã : [s.n., 2009] Description 1 disco ótico (CD-ROM) ; em caixa 13x15x1 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart