Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 175400
publicationDateY_i : 2014
Page :
sorted by
Image document

Formal Specification and Verification of CRDTs

 Peter Zeller , Annette Bieniusa , Arnd Poetzsch-Heffter
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43613-4_3⟩
Conference papers hal-01398007v1

Building Bridges: HCI, Visualization, and Non-formal Modeling

 Achim Ebert , Gerrit van Der Veer , Gitta Domik , Nahum D. Gershon , Inga Scheler
Springer, LNCS-8345, 2014, Coalgebraic Methods in Computer Science, 978-3-642-54893-2. ⟨10.1007/978-3-642-54894-9⟩
Books hal-01414711v1
Image document

System Lifecycle Management: Initial Approach for a Sustainable Product Development Process Based on Methods of Model Based Systems Engineering

 Martin Eigner , Thomas Dickopf , Hristo Apostolov , Patrick Schaefer , Karl-Gerhard Faisst , et al.
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.287-300, ⟨10.1007/978-3-662-45937-9_29⟩
Conference papers hal-01386510v1
Image document

Virtual Learning Factory on VR-Supported Factory Planning

 Christian Weidig , Nicole Menck , Pascal A. Winkes , Jan C. Aurich
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.455-462, ⟨10.1007/978-3-662-44745-1_45⟩
Conference papers hal-01392151v1
Image document

eCITY: Evolutionary Software Architecture Visualization – An Evaluation

 Taimur Khan , Henning Barthel , Liliana Guzman , Achim Ebert , Peter Liggesmeyer
7th Workshop on Human-Computer Interaction and Visualization (HCIV), Aug 2011, Rostock, Germany. pp.201-224, ⟨10.1007/978-3-642-54894-9_15⟩
Conference papers hal-01414709v1
Page :