Emanuele Ciapessoni (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Emanuele 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)

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)

Selection of 3 from 7 records - Emanuele Ciapessoni has 19 coauthors

4		Emanuele 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)
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)