Zum Inhalt springen

  3. Al Ali, Rima; Bures, Tomas; Hnetynka, Petr; Krijt, Filip; Plasil, Frantisek; Vinarek, Jiri

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: Dynamic Security Specification Through Autonomic Component Ensembles

    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, 2018

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

  6. Gerostathopoulos, Ilias; Bures, Tomas; Hnetynka, Petr; Hujecek, Adam; Plasil, Frantisek; Skoda, Dominik

    Software Architecture: Meta-Adaptation Strategies for Adaptation in 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, 2015

    Erschienen in: Software Architecture

  7. Bureš, Tomáš; Gerostathopoulos, Ilias; Hnetynka, Petr; Keznikl, Jaroslav; Kit, Michal; Plasil, Frantisek

    Software Engineering for Collective Autonomic Systems: 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 Engineering for Collective Autonomic Systems

  8. Barnat, Jiří; Beneš, Nikola; Bureš, Tomáš; Černá, Ivana; Keznikl, Jaroslav; Plášil, František

    Formal Aspects of Component Software: Towards Verification of Ensemble-Based Component 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, 2014

    Erschienen in: Formal Aspects of Component Software

  9. Bures, Tomas; Gerostathopoulos, Ilias; Hnetynka, Petr; Keznikl, Jaroslav; Kit, Michal; Plasil, Frantisek

    Software Architecture: Gossiping Components for 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, 2014

    Erschienen in: Software Architecture

  10. Bureš, Tomáš; Hnětynka, Petr; Kruliš, Martin; Plášil, František; Khalyeyev, Danylo; Hahner, Sebastian; Seifermann, Stephan; Walter, Maximilian; Heinrich, Robert

    Generating adaptation rule-specific neural networks

    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.

    Springer Science and Business Media LLC, 2023

    Erschienen in: International Journal on Software Tools for Technology Transfer

  11. Bureš, Tomáš; Hnětynka, Petr; Kruliš, Martin; Plášil, František; Khalyeyev, Danylo; Hahner, Sebastian; Seifermann, Stephan; Walter, Maximilian; Heinrich, Robert

    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: Attuning Adaptation Rules via a Rule-Specific Neural Network

    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 Nature Switzerland, 2022

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

  12. Vymazalová, Anna; Subbotin, Viktor V.; Laufek, František; Savchenko, Yevgeny E.; Stanley, Chris J.; Gabov, Dmitriy A.; Plášil, Jakub

    Panskyite, Pd9Ag2Pb2S4, a new platinum group mineral from the Southern Kievey ore occurrence of the Fedorova–Pana layered intrusion, Kola Peninsula, Russia

    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, 2021

    Erschienen in: Mineralogical Magazine

  14. Subbotin, Victor V.; Vymazalová, Anna; Laufek, František; Savchenko, Yevgeny E.; Stanley, Chris J.; Gabov, Dmitry A.; Plášil, Jakub

    Mitrofanovite, Pt3Te4, a new mineral from the East Chuarvy deposit, Fedorovo–Pana intrusion, Kola Peninsula, Russia

    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, 2019

    Erschienen in: Mineralogical Magazine

  16. Vrtiška, Luboš; Tvrdý, Jaromír; Plášil, Jakub; Sejkora, Jiří; Škoda, Radek; Chukanov, Nikita V.; Massanek, Andreas; Filip, Jan; Dolníček, Zdeněk; Veselovský, František

    Redefinition of beraunite, Fe<sup>3+</sup><sub>6</sub>(PO<sub>4</sub>)<sub>4</sub>O(OH)<sub>4</sub>  ⋅  6H<sub>2</sub>O, and discreditation of the name eleonorite: a re-investigation of type material from the Hrbek Mine (Czech Republic)

    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.

    Copernicus GmbH, 2022

    Erschienen in: European Journal of Mineralogy

  17. Neuzil, Petr; Cerny, Stepan; Kralovec, Stepan; Svanidze, Oleg; Bohuslavek, Jan; Plasil, Petr; Jehlicka, Pavel; Holy, Frantisek; Petru, Jan; Kuenzler, Richard; Sediva, Lucie

    Single-site access robot-assisted epicardial mapping with a snake robot: preparation and first clinical experience

    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.

    Springer Science and Business Media LLC, 2013

    Erschienen in: Journal of Robotic Surgery