Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Bracciali A. Formal specification of discrete systems by active predicates and dynamic constraints. In: International Conference FMOODS'99 (1999). Proceedings, vol. WG6.1 pp. 161 - 169. Kluwer Academic Publishers (ed.). (Formal Methods for Open Object-based Distributed Systems). P.Ciancarini, A. Fantechi and R. Gorrieri (Eds.), 1999.
No abstract available
Subject Formal specification
discrete systems

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional