Keyword: embedded systems

• Jörgensen, Jens Bæk; Christensen, Sören; Tuovinen, Antti-Pekka; Xu, Jianli:
  Tool Support for Estimating the Memory Usage of Mobile Phone Software. 2006.

• 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.

• Cortés, Luis Alejandro; Eles, Petru; Peng, Zebo:
  Modeling and formal verification of embedded systems based on a Petri net representation. 2003.

• Cortes, L.A.; Eles, P.; Peng, Z.:
  Definitions of equivalence for transformational synthesis of embedded systems. 2000.

• Cortes, L.A.; Eles, P.; Peng, Z.:
  Formal coverification of embedded systems using model checking. 2000.

• Cortes, L.A.; Eles, P.; Peng, Z.:
  Verification of embedded systems using a Petri net based representation. 2000.

• Sheldon, F.T.; Greiner, S.; Benzinger, M.:
  Specification, safety and reliability analysis using stochastic Petri net models. 2000.

• Nuetzel, J.; Daene, B.; Fengler, W.:
  Object nets for the design and verification of distributes and embedded systems. 1998.

• Esser, Robert:
  An Object Oriented Language for Emdedded System Design. 1997.

• Esser, Robert:
  An Object Oriented Petri Net Approach to Embedded System Design. 1996.

• Felder, M.; Mandrioli, D.; Morzenti, A.:
  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. 1994.

Back to the Petri Nets Bibliography