For the most recent entries see the
Petri Nets Newsletter
.
Keyword: ada tasking analysis
Shatz, Sol M.
;
Mai, Khanh
;
Black, Christopher
;
Tu, Shengru
:
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.
1990.
Shatz, S.M.
;
Mai, K.
;
Moorthi, D.
;
Woodward, J.
:
A Toolkit for Automated Support of Ada Tasking Analysis.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography