Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 20 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 18 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 15 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 15 Treffer
- model-driven engineering 15 Treffer
-
45 weitere Werte:
- [info.info-es]computer science [cs]/embedded systems 13 Treffer
- design 12 Treffer
- human-computer interaction (hci) 12 Treffer
- lncs 12 Treffer
- challenges 10 Treffer
- research opportunities 10 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 9 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 9 Treffer
- hci 9 Treffer
- usability 9 Treffer
- user interface design 9 Treffer
- [info]computer science [cs] 8 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 7 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- distributed applications 7 Treffer
- middleware 7 Treffer
- 3d user interface 6 Treffer
- assistive technology 6 Treffer
- business process modeling 6 Treffer
- collaborative systems 6 Treffer
- education 6 Treffer
- event b 6 Treffer
- human computer interaction 6 Treffer
- interface design 6 Treffer
- model-based development 6 Treffer
- software engineering 6 Treffer
- qos management 5 Treffer
- safety properties 5 Treffer
- verification 5 Treffer
- [info.info-dc]computer science [cs]/distributed 4 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 4 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 4 Treffer
- and cluster computing [cs.dc] 4 Treffer
- arinc 661 4 Treffer
- correctness-by-construction 4 Treffer
- critical interactive systems 4 Treffer
- dynamic architecture 4 Treffer
- edu 4 Treffer
- event-b and theories 4 Treffer
- info 4 Treffer
- modeling 4 Treffer
- parallel 4 Treffer
- standard conformance 4 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 3 Treffer
Verlag
Publikation
- lncs ; 17th international conference acm/ieee - conference on model driven engineering languages and systems (models) ; https://hal.science/hal-01156595 ; 17th international conference acm/ieee - conference on model driven engineering languages and systems (models), sep 2014, valencia, spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩ 6 Treffer
- formal methods for industrial critical systems. 26th international conference, fmics 2021, paris, france, august 24-26, 2021, proceedings ; lecture notes in computer science (lncs) ; fmics 2021 - 26th international conference on formal methods for industrial critical systems ; https://hal.science/hal-03487118 ; fmics 2021 - 26th international conference on formal methods for industrial critical systems, aug 2021, paris, france. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩ ; https://link.springer.com/chapter/10.1007%2f978-3-030-85248-1_8 3 Treffer
- communications in computer and information science 2 Treffer
- lncs ; icmt 2015 - 8th international conference on model transformation ; https://hal.science/hal-01179294 ; icmt 2015 - 8th international conference on model transformation, jul 2015, l'aquila, italy. pp.111-120, ⟨10.1007/978-3-319-21155-8_9⟩ 2 Treffer
- web engineering and peer-to-peer computing, lecture notes in computer science book series (lncs) ; networking 2002: networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications, second international ifip-tc6 networking conference 2 Treffer
Sprache
Geographischer Bezug
140 Treffer
-
In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 ; ISoLA 2008 ; https://hal.science/hal-00420017 ; ISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩, 2008Online KonferenzZugriff:
-
In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 ; ISoLA 2008 ; https://hal.archives-ouvertes.fr/hal-00420017 ; ISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩, 2008Online KonferenzZugriff:
-
In: CAiSE ; https://hal-paris1.archives-ouvertes.fr/hal-01069746 ; Jarke, M., Mylopoulos, J., Quix, C., Rolland, 2014KonferenzZugriff:
-
In: Formal Methods and Software Engineering ; ICFEM'2006 ; https://hal.science/hal-00420015 ; ICFEM'2006, Nov 2006, Macao, China. pp.660-677, 2006KonferenzZugriff:
-
In: Formal Methods and Software Engineering ; ICFEM'2006 ; https://hal.archives-ouvertes.fr/hal-00420015 ; ICFEM'2006, Nov 2006, Macao, China. pp.660-677, 2006KonferenzZugriff:
-
In: Lescture Notes in Computer Science ; Conference on Distributed Applications and Interoperable Systems (DAIS) ; https://hal.science/hal-00415847 ; Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2006, Bologna, Italy. pp.272-288, 2006KonferenzZugriff:
-
In: Lescture Notes in Computer Science ; Conference on Distributed Applications and Interoperable Systems (DAIS) ; https://hal.science/hal-00415847 ; Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2006, Bologna, Italy. pp.272-288, 2006KonferenzZugriff:
-
In: Lescture Notes in Computer Science ; Conference on Distributed Applications and Interoperable Systems (DAIS) ; https://hal.archives-ouvertes.fr/hal-00415847 ; Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2006, Bologna, Italy. pp.272-288, 2006KonferenzZugriff:
-
In: ZB 2005: Formal Specification and Development in Z and B ; https://hal.science/hal-00421161 ; ZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩, 2005KonferenzZugriff:
-
In: ZB 2005: Formal Specification and Development in Z and B ; https://hal.archives-ouvertes.fr/hal-00421161 ; ZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩, 2005KonferenzZugriff:
-
In: Formal Methods and Software Engineering ; 4th International Conference on Formal Engineering Methods, ICFEM'2002 ; https://hal.science/hal-00421160, 2002KonferenzZugriff:
-
In: Formal Methods and Software Engineering ; 4th International Conference on Formal Engineering Methods, ICFEM'2002 ; https://hal.archives-ouvertes.fr/hal-00421160, 2002KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science (LNCS) ; ESOP 2023 - 32nd European Symposium on Programming, 2023Online KonferenzZugriff:
-
In: 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications ; https://hal.inria.fr/inria-00333609 ; 2nd LNCS Conference on Principles, 2008Online KonferenzZugriff:
-
In: 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009) ; https://hal.science/hal-03653365 ; Gross, Tom; Gulliksen, Jan; Kotze, Paula; Oestreicher, Lars; Palanque, Philippe; Prates, Raquel Oliveira; Winckler, Marco Antonio. 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009), Uppsala, Sweden. 5726 et 5727, Springer, 2009KonferenzZugriff:
-
In: 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009) ; https://hal.science/hal-03653365 ; Gross, Tom; Gulliksen, Jan; Kotze, Paula; Oestreicher, Lars; Palanque, Philippe; Prates, Raquel Oliveira; Winckler, Marco Antonio. 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009), Uppsala, Sweden. 5726 et 5727, Springer, 2009KonferenzZugriff:
-
In: 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009) ; https://hal.science/hal-03653365 ; Gross, Tom; Gulliksen, Jan; Kotze, Paula; Oestreicher, Lars; Palanque, Philippe; Prates, Raquel Oliveira; Winckler, Marco Antonio. 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009), Uppsala, Sweden. 5726 et 5727, Springer, 2009KonferenzZugriff:
-
In: 9th International Conference on Computational Science and Its Applications (ICCSA 2019), LNCS 11619, Springer ; https://hal.science/hal-02570205 ; 9th International Conference on Computational Science and Its Applications (ICCSA 2019), 2019KonferenzZugriff: