Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- collaborative work 2 Treffer
- computer science 2 Treffer
- uml 2 Treffer
- abstracts 1 Treffer
- business process modeling 1 Treffer
-
17 weitere Werte:
- coherence 1 Treffer
- collaboration 1 Treffer
- coloured petri nets 1 Treffer
- components, circuits, devices and systems 1 Treffer
- computational modeling 1 Treffer
- devs 1 Treffer
- formal specifications 1 Treffer
- formal verification 1 Treffer
- graph transformation 1 Treffer
- logic programming 1 Treffer
- mathematics 1 Treffer
- petri nets 1 Treffer
- power system modeling 1 Treffer
- solid modeling 1 Treffer
- syntactics 1 Treffer
- virtual enterprises 1 Treffer
- visualization 1 Treffer
Publikation
- 2009 fourth south-east european workshop on formal methods, formal methods (seefm), 2009 fourth south-east european workshop on 1 Treffer
- 2012 ieee 21st international workshop on enabling technologies: infrastructure for collaborative enterprises, enabling technologies: infrastructure for collaborative enterprises (wetice), 2012 ieee 21st international workshop on 1 Treffer
- seventh international conference on quality software (qsic 2007), quality software, 2007. qsic '07. seventh international conference on 1 Treffer
Inhaltsanbieter
3 Treffer
-
In: 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012-06-01, S. 238-243Online KonferenzZugriff:
-
In: 2009 Fourth South-East European Workshop on Formal Methods, 2009-12-01, S. 73-78Online KonferenzZugriff:
-
In: Seventh International Conference on Quality Software (QSIC 2007), 2007-10-01, S. 356Online KonferenzZugriff: