SPECIFYING INDUSTRIAL REAL-TIME SYSTEMS WITH A TEMPORAL LOGIC FRAMEWORK
CIAPESSONI, EMANUELE, CORSETTI, EDOARDO, MIGLIORATI, MANLIO, RATTO, ELENA, CRIVELLI, ERNANIVolume:
6
Language:
english
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/S021819409600003X
Date:
March, 1996
File:
PDF, 2.03 MB
english, 1996