Information systems modelling with troll formal methods at work
Analíticas: Mostrar analíticasTipo de contenido:- texto
- sin mediación
- volumen
Contenidos:
En: Information systems (vol. 22, nro. 2-3, Apr-May. 1997), p. 79-99S.T.:H004.65 INF PP2650
In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The objective of this project is to develop an information system that supports the various activities of different user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project
No hay ítems correspondientes a este registro
In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The objective of this project is to develop an information system that supports the various activities of different user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.