Result 1 to 15 of 15 total
Design and verification of systems with exogenous coordination using Vereofy. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16560-3/pbk). Lecture Notes in Computer Science 6416, 97-111 (2010).
1
io-port 05834060 Grabe, Immo;
Jaghoori, Mohammad Mahdi;
Klein, Joachim;
Klüppelholz, Sascha;
Stam, Andries;
Baier, Christel;
Blechmann, Tobias;
Aichernig, Bernhard K.;
de Boer, Frank;
Griesmayer, Andreas;
Johnsen, Einar Broch;
Kyas, Marcel;
Leister, Wolfgang;
Schlatte, Rudolf;
Steffen, Martin;
Tschirner, Simon;
Xuedong, Liang;
Yi, Wang
The Credo methodology (extended version). (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4‒6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 41-69 (2010).
2
Design and verification of systems with exogenous coordination using vereofy (English)
ISoLA (2), 97-111 (2010).
3
Analysing protocol implementations. (English)
Bao, Feng (ed.) et al., Information security practice and experience. 5th international conference, ISPEC 2009, Xi’an, China, April 13‒15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00842-9/pbk). Lecture Notes in Computer Science 5451, 171-182 (2009).
4
Analysing protocol implementations (English)
ISPEC, 171-182 (2009).
5
A benchmarking system for multipath overlay multimedia streaming (English)
ICME, 853-856 (2008).
6
An architecture for adaptive multimedia streaming to mobile nodes (English)
MoMM, 313-316 (2008).
7
Communication of medical images, text, and messages in inter-enterprise systems: A case study in norway. (English)
IEEE Trans. Inf. Technol. Biomed. 11, No. 1, 7-13 (2007).
8
Market research using a virtual test store on gaming technology (English)
SimVis, 399-412 (2007).
9
Simulation of the hikernet (English)
SimVis, 27-38 (2005).
10
Multimedia-präsentationen auf persönlichen digitalen assistenten mit geringer übertragungsrate (English)
SimVis, 147-160 (2002).
11
Grafische methoden auf dem web - eine übersicht (English)
SimVis, 359-376 (1999).
12
Computer generated copper plates (English)
Comput. Graph. Forum 13, No. 1, 69-77 (1994).
13
Simulation dynamischer massenpunktsysteme und ihre anwendung in der computeranimation (English)
GI Jahrestagung (2), 559-568 (1990).
14
Geometrische rekonstruktion dreidimensionaler geometrie aus photographien (English)
GI Jahrestagung (1), 427-440 (1989).
15
Result 1 to 15 of 15 total
Start
Contact
Print
General Help
