resumo
- Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011)
Modelling and analysing the interactive behaviour of an infusion pump
- Visão geral
- Pesquisas
- Identidade
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2011