For the most recent entries see the
Petri Nets Newsletter.
Mo, L.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
A Formal Approach to Designing Secure Software Architectures.
2004.
-
Yu, H.;
He, Xudong;
Deng, Y.;
Mo, L.:
A Formal Method for Analyzing Software Architecture Models in SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
Formal Analysis of Real-Time Systems with SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
Formal Analysis of Real-Time Systems with SAM.
2002.
-
Yu, Huiqun;
He, Xudong;
Deng, Yi;
Mo, Lian:
A Formal Method for Analyzing Software Architecture Models in SAM.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography