1. Universidade do Minho
  2. Escola de Engenharia | School of Engineering
  3. HASLab - High-Assurance Software Laboratory

HASLab - Palestras/ comunicações orais : [1] Estatísticas

Percorrer
Ativar alerta na coleção para receber notificações por e-mail de novas entradas RSS Feed RSS Feed RSS Feed
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-1 de um total de 1
DataTítuloAutor(es)TipoAcesso
2012Towards specification and verification frameworks for concurrent real-time systemsPereira, David; Pedro, André Matos; Pinho, Luís Miguel, et al.Palestra Acesso aberto
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-1 de um total de 1

Entradas recentes

Towards specification and verification frameworks for concurrent real-time systems

 

Descobrir