Schieferdecker, Ina, 1967-
Schieferdecker, Ina.
Ina Schieferdecker
Schieferdecker, Ina Kathrin
VIAF ID: 72069231 ( Personal )
Permalink: http://viaf.org/viaf/72069231
Preferred Forms
- 100 0 _ ‡a Ina Schieferdecker
- 100 0 _ ‡a Ina Schieferdecker
-
-
- 100 1 _ ‡a Schieferdecker, Ina
-
-
- 100 1 _ ‡a Schieferdecker, Ina ‡d 1967-
-
-
4xx's: Alternate Name Forms (18)
5xx's: Related Names (8)
- 551 _ _ ‡a Berlin ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Berlin, Techn. Univ
- 510 2 _ ‡a Deutschland ‡b Bundesministerium für Bildung und Forschung ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
- 510 2 _ ‡a Freie Universität Berlin ‡b Fachbereich Mathematik und Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a International Federation for Information Processing. WG 6.1
- 510 2 _ ‡a International Software Quality Institute
Works
Title | Sources |
---|---|
Datenschutz-Kritische Dynamische Koalitionen : ein formales Rahmenwerk | |
DIAMONDS Schlussbericht | |
ECMDA-FA 2008 | |
HyperMSC - a graphical representation of TTCN | |
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (14th : 2002 Berlin, Germany). Testing of communicating systems XIV, 2002: | |
Integrierende Informations- und Kommunikationstechnologien (IKT) für die Stadt der Zukunft | |
Interaktionen auf Menschen-zentrierten Kommunikationsplattformen : Modellierung und Analyse unter Verwendungen algebraischer High-Level-Netze und -Prozesse | |
International Symposium on Quality Engineering for Embedded Systems June 13th, 2008, Berlin, Germany | |
Interoperabilitätstest-Methodologie für die medizinischen Informationssysteme basierend auf einem Akteur-Emulator Ansatz | |
Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies | |
Interpretation von Verhaltensmodellen zur Laufzeit: Leistungmaßstab und Anwendungsfälle | |
Methoden und Werkzeuge für eine flexible Testplattform basierend auf TTCN-3 und deren Anwendung in der Mobilkommunikations- und Fahrzeugtechnik tests & testing methodologies for advanced languages, BMBF-Verbundprojekt TT-Medal ; Schlussbericht für die Projektlaufzeit vom 1.10.2003 bis zum 31.12.2005 | |
A Methodology for Automated Interoperability Testing of Healthcare Information Systems based on an Actor Emulation Approach | |
Model-based testing for embedded systems | |
Model driven architecture - foundations and applications 4th European conference ; proceedings | |
On-Demand Monitoring: a Monitoring Paradigm for Traffic Flows in Multi-Service Self-Managing Networks | |
On-Demand Monitoring: Ein Monitoring-Paradigma für den Netzverkehr in multifunktionalen selbstverwaltenden IKT-Netzen | |
Operational semantics of timed interacting systems an algebraic performance oriented formal description technique | |
Pattern-orientiertes modellgetriebenes Testen von reaktiven Softwaresystemen | |
Privacy-aware dynamic coalitions : a formal framework | |
SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings | |
Software quality engineering proceedings of the CONQUEST 2009 | |
Testing hybrid systems with TTCN-3 | |
Verifying performance bounds of communication protocls |