S-CORT®: A method for the development of electronic payment systems
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 262-280
- https://doi.org/10.1007/3-540-52494-0_33
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A comparison of techniques for the specification of external system behaviorCommunications of the ACM, 1988
- An introduction to Estelle: A specification language for distributed systemsComputer Networks and ISDN Systems, 1987
- Parallel systems specifications with coloured Petri nets and algebraic specificationsPublished by Springer Nature ,1987
- Algebraic structure of flows of a regular coloured netPublished by Springer Nature ,1987
- Design and programming of interfaces for monetic applications using petri netsPublished by Springer Nature ,1985
- Galileo: A Methodology for Modelling and Designing Real Time SystemsPublished by Springer Nature ,1982
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Communicating sequential processesCommunications of the ACM, 1978
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977