For the most recent entries see the
Petri Nets Newsletter.
Philippi, S.
-
Philippi, Stephan:
Formally based modeling and inheritance of behaviour in object-oriented systems.
2004.
-
Philippi, Stephan:
Analysis of fault tolerance and reliability in distributed real-time system architectures.
2003.
-
Philippi, Stephan:
Modeling and Simulation of Safety-Critical Automotive Systems.
2002.
-
Seidel, Marc;
Müller, Jörg;
Philippi, Stephan:
Modellierung verteilter Echtzeitsysteme am Beispiel 'drive-by-drive'.
2001.
-
Philippi, Stephan:
Visual Programming of Concurrent Object-Oriented Systems.
2001.
-
Philippi, Stephan:
Seamless Object-Oriented Software Development on a Formal Base.
2000.
-
Philippi, Stephan:
Modularization of Petri Nets using Object-oriented Concepts.
1998.
-
Philippi, St.;
Pinl, Alexander;
Müller, J.R.;
Slovák, R.:
Towards tool support for the formally based analysis of safety-critical systems with Petri-Nets.
06.
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