Introducing the GRASPIN specification language SEGRAS

Authors:
Bernd Krämer
Affiliations:
-
Venue:
Journal of Systems and Software - Special issue on GRASPIN software
Year:
1991

Citing 0
Cited 2

Prototyping and formal analysis of concurrent and distributed systems

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Literate specification: using design rationale to support formal methods in the development of human-machine interfaces

Human-Computer Interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract