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
Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
1st Edition 2019, 2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
1st Edition 2017, 2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops Programming and Software Engineering: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
1st Edition 2021, 2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
1, 1999
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages: 19th IFIP WG 6. 1 International Conference, COORDINATION 2017, Held As Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
1, 2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch'tel, Switzerland, June 19-22, 2017, Proceedings
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Bisimilarity for Polyhedral Models and SLCS
Formal Techniques for Distributed Objects, Components, and Systems, p.132-151
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)
Advances in Model and Data Engineering in the Digitalization Era, p.285-301
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Correction to: Verifying System-Wide Properties of Industrial Component-Based Software
Fundamentals of Software Engineering, 2019, Vol.11761, p.C1-C1
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
Fundamentals of Software Engineering, 2019, Vol.11761, p.3-19
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CoSIM-CPS 2020
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Intensional Structure of Epistemic Convictions
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CIFMA 2020
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Personal Identity and False Memories
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An FMI-Based Initialization Plugin for INTO-CPS Maestro 2
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Multi-Agent Depth Bounded Boolean Logic
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Extending OCL with Map and Function Types
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
From Requirements to Verifiable Executable Models Using Rebeca
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Reasoning About Ignorance and Beliefs
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2021, Vol.12524
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Solving Systems of Bilinear Equations for Transition Rate Reconstruction
Fundamentals of Software Engineering, 2021, Vol.12818
2021
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 112
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
ThemaSoftware Engineering/programming And Operating Systems
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen