For the most recent entries see the
Petri Nets Newsletter
.
Keyword: ada program
Marinescu, Dan C.
;
Stansifer, Ryan
:
A Formalism for Critical Path Analysis of Real-Time Ada Programs.
1990.
Morasca, Sandro
;
Pezzè, Mauro
:
Validation of Concurrent Ada Programs Using Symbolic Execution.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography