Vesselka Duridanova

According to our database, Vesselka Duridanova authored at least 3 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2004

Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.

Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2002

Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems.

Olga Fengler, Wolfgang Fengler, Vesselka Duridanova

Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Modeling of Complex Automation Systems using Colored State Charts.

Olga Fengler, Wolfgang Fengler, Vesselka Duridanova

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002