Generating Real-time Software Test Cases by Time Petri Nets
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 22 ; 151-158
2000-01-01
8 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Generating Inductive Invariants for Petri Nets
Springer Verlag | 2012
|Controlled Time Petri Nets and Modeling of Batch Process System
British Library Online Contents | 2000
|Software Architecture Description Language Based on Object-Oriented Petri Nets
British Library Online Contents | 2004
|A Restricted Reachability Problem of Petri Nets Solvable in Pseudo-Polynomial Time
British Library Online Contents | 1993
|