Skip header navigation

University of Stirling

×

Conference Proceeding

Formal specification of discrete systems by active predicates and dynamic constraints

Citation
Bolognesi T & Bracciali A (1999) Formal specification of discrete systems by active predicates and dynamic constraints. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-based Distributed Systems, Proceedings of FMOODS'99. IFIP Advances in Information and Communication Technology, Vol. 10. IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.03.1999. Dordrecht, The Netherlands: Kluwer Academic Publishers, pp. 161-168.

StatusPublished
Author(s)Bolognesi, Tommaso; Bracciali, Andrea
Title of seriesIFIP Advances in Information and Communication Technology
Number in seriesVol. 10
Publication date31/12/1999
Publication date online28/02/1999
PublisherKluwer Academic Publishers
Place of publicationDordrecht, The Netherlands
ISSN of series1868-4238
ISBN978-0-7923-8429-8
ConferenceIFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Conference locationFlorence, Italy
Dates
Scroll back to the top