Model reduction of modules for state-event temporal logics

Authors:
M. Lawford;J. S. Ostroff;W. M. Wonham
Affiliations:
-;-;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Year:
1996

Composition and refinement of discrete real-time systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards integrated verification of timed transition models

Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
A logical verification methodology for service-oriented computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards Integrated Verification of Timed Transition Models

Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)

Hi-index	0.00