PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Constraint-oriented specification style for time-dependent behavious. In: Formal Methods in Real-Time Systems, della collana Trends in Software Engineering-, (Series editor: Balchander Krishnamurthy - AT&T Bell Labs.). Capitolo 8. D. Mandrioli e C. Heitmeyer (eds). J. Wiley & Sons, Ltd., 1996. ISBN 0-471-95835-2. 1996.
 
 
Abstract
(English)
No abstract available
Subject



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