Zum Inhalt springen

  7. Bures, Tomas; Hnetynka, Petr; Krijt, Filip; Matena, Vladimir; Plasil, Frantisek

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc Communication

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

  9. Gerostathopoulos, Ilias; Skoda, Dominik; Plasil, Frantisek; Bures, Tomas; Knauss, Alessia

    Software Architecture: Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Software Architecture

  11. Bureš, Tomáš; Gerostathopoulos, Ilias; Keznikl, Jaroslav; Plášil, František; Tůma, Petr

    Software, Services, and Systems: Formalization of Invariant Patterns for the Invariant Refinement Method

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2015

    Erschienen in: Software, Services, and Systems

  14. Poch, Tomáš; Šerý, Ondřej; Plášil, František; Kofroň, Jan

    Threaded behavior protocols

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2013

    Erschienen in: Formal Aspects of Computing

  15. Simko, Viliam; Hauzar, David; Bures, Tomas; Hnetynka, Petr; Plasil, Frantisek

    Formal Aspects of Component Software: Verifying Temporal Properties of Use-Cases in Natural Language

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Formal Aspects of Component Software

  16. Abdullah, Milad; Töpfer, Michal; Bureš, Tomáš; Hnětynka, Petr; Kruliš, Martin; Plášil, František

    Lecture Notes in Computer Science: Introducing Estimators—Abstraction for Easy ML Employment in Self-adaptive Architectures

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2023

    Erschienen in: Lecture Notes in Computer Science

  17. Tvrdý, Jaromír; Plášil, Jakub; Vrtiška, Luboš; Sejkora, Jiří; Škoda, Radek; Dolníček, Zdeněk; Petr, Martin; Veselovský, František

    Ferroberaunite, Fe2+Fe3+5(PO4)4(OH)5⋅6H2O, a mixed-valence iron member of the beraunite series, from the Gravel Hill mine, Perranzabuloe, Cornwall, England

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Mineralogical Society, 2022

    Erschienen in: Mineralogical Magazine