A Method of Verifying a Switching SDL Specification by Utilizing Petri Nets
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 30 , 6 ; 685
1994-01-01
685 pages
Article (Journal)
Unknown
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets
British Library Online Contents | 2000
|British Library Online Contents | 1997
|Stochastic petri nets for risk assessment
Tema Archive | 2008
|