dblp.uni-trier.dewww.uni-trier.de

Edoardo Corsetti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
5 Oliver Botti, M. Cesana, Edoardo Corsetti, P. Coslett, J. Hammond, F. Maestri, R. Meda, Elena Ratto, G. L. Redaelli, Alan Tully: SImulation of High-Voltage Substations on Parallel ARchitectures. HPCN Europe 1996: 935-937
4EEEmanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli: Specifying Industrial Real-Time Systems with a Temporal Logic Framework. International Journal of Software Engineering and Knowledge Engineering 6(1): 21-61 (1996)
1993
3 Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 881-888
2 Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro: Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Sci. Comput. Program. 20(1-2): 141-171 (1993)
1991
1 Edoardo Corsetti, Angelo Montanari, Elena Ratto: Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real-Time Systems 3(2): 191-215 (1991)

Coauthor Index

1Oliver Botti [5]
2M. Cesana [5]
3Emanuele Ciapessoni [2] [3] [4]
4P. Coslett [5]
5Ernani Crivelli [4]
6J. Hammond [5]
7F. Maestri [5]
8R. Meda [5]
9Manlio Migliorati [3] [4]
10Angelo Montanari [1] [2]
11Pierluigi San Pietro [2]
12Elena Ratto [1] [3] [4] [5]
13G. L. Redaelli [5]
14Alan Tully [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)