Time Versus Abstraction in Formal Description

Authors:
Howard Bowman;Gordon S. Blair;Lynne Blair;Amanda G. Chetwynd
Affiliations:
-;-;-;-
Venue:
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Year:
1993

Citing 0
Cited 4

Formal methods for broadband and multimedia systems (tutorial)

ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification and Verification of Real-Time Properties Using LOTOS and SQTL

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Review: Formal description of distributed multimedia systems: an assessment of potential techniques

Computer Communications
Towards the automatic generation of quality-of-service-preserving implementations from formal specifications

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract