For the most recent entries see the
Petri Nets Newsletter
.
Keyword: requirements specification
Sacha, Krzysztof M.
:
Real-time software specification and validation with Transnet.
1994.
Perdu, D.M.
;
Levis, A.H.
:
Requirements Specification for Distributed Intelligent Systems Using the Cube Tool Methodology.
1989.
Perdu, D.M.
:
Requirements Specification with Petri Nets Using the Cube Tool Methodology.
1989.
Perdu, D.M.
;
Levis, A.H.
:
Requirements Specification Using the Cube Tool Methodology.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography