For the most recent entries see the
Petri Nets Newsletter
.
Keyword: stepwise refinements
Di Marzo Serugendo, G.
;
Guelfi, N.
;
Romanovsky, A.
;
Zrozo, A.F.
:
Formal development and validation of Java dependable distributed systems.
1999.
Kahlouche, H.
;
Girardot, J.-J.
:
Design if the ISO Class 0 transport protocol: a stepwise refinement based approach.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography