ls3-www.cs.tu-dortmund.de/cms/de/publikationen/index.html
Publikationen - Lehrstuhl 3 - Fakultät für Informatik - TU Dortmund
18 (1), S. 69-70, 2000-01
[ Wed00b ]
Horst F. Wedde Can Formal Methods be Integrated into Real-Time Object Oriented Design ? – Response to J. de la Puente’s Contribution Real-Time Systems, Nr. 18 (1), S [...] Sections 1st International Conference on "Distributed Algorithms on Graphs", Ottawa,
[ Wed84 ]
Horst F. Wedde An Exercise in Flexible Formal Modeling under Realistic Assumptions Systems Research, Nr. 1 (2) [...] d Interaction Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02
[ …