For the most recent entries see the
Petri Nets Newsletter
.
Keyword: formal description techniques
Bastide, Rémi
;
Navarre, David
;
Palanque, Philippe
;
Schyn, Amélie
;
Dragicevic, Pierre
:
A model-based approach for real-time embedded multimodal systems in military aircrafts.
2004.
Senac, P.
;
Diaz, M.
;
Saqui-Sannes, P.
:
Toward a formal specification of multimedia synchronization scenarios.
1994.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography