Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safe and Trustworthy Human-Robot Interaction
Humanoid Robotics: A Reference, 2018, p.2397-2419
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems
Software Engineering for Robotics, 2021, p.139-164
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Logic-Based Program Synthesis and Transformation, 2014, Vol.8901, p.72-90
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
1, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Can File Level Characteristics Help Identify System Level Fault-Proneness?
Hardware and Software: Verification and Testing, 2011, p.176-189
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
2012, 2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Experience of Deploying Event-B in Industrial Microprocessor Development
Industrial Deployment of System Engineering Methods, 2013, p.107-122
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing and Coverage
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Posters – Student Event
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Synthesis
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Quality
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Experience and Tools
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Organization
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Verification
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Invited Talks
Hardware and Software: Verification and Testing, 2012, Vol.7261
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Using Models at Runtime to Address Quality Assurance for Self-Adaptive Systems
State-of-the-Art Survey Volume on Models@run.time Edited by:Betty Cheng, Uwe Assmann, Gordon Blair, Robert France, Nelly Bencomo, 2014
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theodor Fontane Handbuch
2 Teilbande edition., 2023
Volltextzugriff (PDF)
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science, Artificial Intelligence
ThemaComputer Software Engineering
KollektioneBooks on EBSCOhost
Nur zeigenMit Volltextzugriff
Suchergebnisse filtern
Filter anzeigen