PUMA
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.
 
 
Abstract
(English)
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