Real-time software specification and validation with Transnet
- 1 March 1994
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 6 (2) , 153-172
- https://doi.org/10.1007/bf01088594
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Real-time specification using Petri netsMicroprocessing and Microprogramming, 1993
- Transformational implementation of PAISLey specifications using petri netsSoftware Engineering Journal, 1992
- Transnet: A method for transformational development of embedded softwareMicroprocessing and Microprogramming, 1991
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Coloured petri nets: A high level language for system design and analysisPublished by Springer Nature ,1991
- A unified high-level Petri net formalism for time-critical systemsIEEE Transactions on Software Engineering, 1991
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Predicate/Transition NetsPublished by Springer Nature ,1987
- The transformation schema: An extension of the data flow diagram to represent control and timingIEEE Transactions on Software Engineering, 1986
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977