Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 2 Treffer
- bisimulation 2 Treffer
- coalgebra 2 Treffer
- decision support 2 Treffer
-
15 weitere Werte:
- early-warning systems 2 Treffer
- embedded system 2 Treffer
- fire safety 2 Treffer
- knowledge integration 2 Treffer
- logic 2 Treffer
- meta-model 2 Treffer
- model 2 Treffer
- model transformation 2 Treffer
- modeling 2 Treffer
- monad 2 Treffer
- real-time 2 Treffer
- saturation 2 Treffer
- trace 2 Treffer
- trace semantics 1 Treffer
- weak bisimulation 1 Treffer
Verlag
Publikation
- surgetica'2005 ; https://hal.science/hal-01589730 ; surgetica'2005, jan 2005, grenoble, france. pp.333-337 5 Treffer
- international conference on computer aided learning in engineering education (calie'04) ; https://hal.science/hal-01513603 ; international conference on computer aided learning in engineering education (calie'04), feb 2004, grenoble, france 3 Treffer
Sprache
Inhaltsanbieter
18 Treffer
-
In: IEEE 10th International Conference on Research Challenges in Information Science (RCIS) - Proceedings ; 10th International Conference on Research Challenges in Information Science (RCIS) ; https://hal.science/hal-01391752 ; 10th International Conference on Research Challenges in Information Science (RCIS), Jun 2016, Grenoble, France. 12 p., ⟨10.1109/RCIS.2016.7549288⟩, 2016KonferenzZugriff:
-
In: IEEE 10th International Conference on Research Challenges in Information Science (RCIS) - Proceedings ; 10th International Conference on Research Challenges in Information Science (RCIS) ; https://hal.archives-ouvertes.fr/hal-01391752 ; 10th International Conference on Research Challenges in Information Science (RCIS), Jun 2016, Grenoble, France. 12 p., ⟨10.1109/RCIS.2016.7549288⟩, 2016KonferenzZugriff:
-
In: Surgetica'2005 ; https://hal.science/hal-01589730 ; Surgetica'2005, Jan 2005, Grenoble, France. pp.333-337, 2005KonferenzZugriff:
-
In: Surgetica'2005 ; https://hal.science/hal-01589730 ; Surgetica'2005, Jan 2005, Grenoble, France. pp.333-337, 2005KonferenzZugriff:
-
In: Surgetica'2005 ; https://hal.science/hal-01589730 ; Surgetica'2005, Jan 2005, Grenoble, France. pp.333-337, 2005KonferenzZugriff:
-
In: Surgetica'2005 ; https://hal.science/hal-01589730 ; Surgetica'2005, Jan 2005, Grenoble, France. pp.333-337, 2005KonferenzZugriff:
-
In: Surgetica'2005 ; https://hal.science/hal-01589730 ; Surgetica'2005, Jan 2005, Grenoble, France. pp.333-337, 2005KonferenzZugriff:
-
In: Surgetica'2005 ; https://hal.archives-ouvertes.fr/hal-01589730 ; Surgetica'2005, Jan 2005, Grenoble, France. pp.333-337, 2005KonferenzZugriff:
-
In: International Conference on Computer Aided Learning in Engineering education (CALIE'04) ; https://hal.science/hal-01513603 ; International Conference on Computer Aided Learning in Engineering education (CALIE'04), Feb 2004, Grenoble, France, 2004KonferenzZugriff:
-
In: International Conference on Computer Aided Learning in Engineering education (CALIE'04) ; https://hal.science/hal-01513603 ; International Conference on Computer Aided Learning in Engineering education (CALIE'04), Feb 2004, Grenoble, France, 2004KonferenzZugriff:
-
In: International Conference on Computer Aided Learning in Engineering education (CALIE'04) ; https://hal.science/hal-01513603 ; International Conference on Computer Aided Learning in Engineering education (CALIE'04), Feb 2004, Grenoble, France, 2004KonferenzZugriff:
-
In: International Conference on Computer Aided Learning in Engineering education (CALIE'04) ; https://hal.science/hal-01513603 ; International Conference on Computer Aided Learning in Engineering education (CALIE'04), Feb 2004, Grenoble, France, 2004KonferenzZugriff:
-
In: International Conference on Computer Aided Learning in Engineering education (CALIE'04) ; https://hal.science/hal-01513603 ; International Conference on Computer Aided Learning in Engineering education (CALIE'04), Feb 2004, Grenoble, France, 2004KonferenzZugriff:
-
In: International Conference on Computer Aided Learning in Engineering education (CALIE'04) ; https://hal.archives-ouvertes.fr/hal-01513603 ; International Conference on Computer Aided Learning in Engineering education (CALIE'04), Feb 2004, Grenoble, France, 2004KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS) ; https://inria.hal.science/hal-01408753 ; 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.75-97, ⟨10.1007/978-3-662-44124-4_5⟩, 2014Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS) ; https://inria.hal.science/hal-01408753 ; 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.75-97, ⟨10.1007/978-3-662-44124-4_5⟩, 2014Online KonferenzZugriff:
-
In: RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017Online KonferenzZugriff:
-
In: RTNS '17: Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017Online KonferenzZugriff: