Search Results - Troubitsyna, E.

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Formal reasoning about resilient goal-oriented multi-agent systems

    Formal reasoning about resilient goal-oriented multi-agent systems by Laibinis, L., Pereverzeva, I., Troubitsyna, E.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Patterns for Representing FMEA in Formal Specification of Control Systems

    Patterns for Representing FMEA in Formal Specification of Control Systems by Lopatkin, I., Iliasov, A., Romanovsky, A., Prokhorova, Y., Troubitsyna, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones

    Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones by Majd, Amin, Ashraf, Adnan, Troubitsyna, Elena, Daneshtalab, Masoud

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Derivation and Formal Verification of a Mode Logic for Layered Control Systems

    Derivation and Formal Verification of a Mode Logic for Layered Control Systems by Prokhorova, Y., Laibinis, L., Troubitsyna, E., Varpaaniemi, K., Latvala, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Fault tolerance in a layered architecture: a general specification pattern in B

    Fault tolerance in a layered architecture: a general specification pattern in B by Laibinis, L., Troubitsyna, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Developing Fault Tolerant Distributed Systems by Refinement

    Developing Fault Tolerant Distributed Systems by Refinement by Troubitsyna, E

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Formal development of software for tolerating transient faults

    Formal development of software for tolerating transient faults by Ilic, D., Troubitsyna, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism

    Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism by Troubitsyna, E

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

    On Rigorous Design and Implementation of Fault Tolerant Ambient Systems by Iliasov, A., Romanovsky, A., Budi Arief, Laibinis, L., Troubitsyna, E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Formal Development of Critical Multi-agent Systems: A Refinement Approach

    Formal Development of Critical Multi-agent Systems: A Refinement Approach by Pereverzeva, I., Troubitsyna, E., Laibinis, L.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Augmenting Event-B modelling with real-time verification

    Augmenting Event-B modelling with real-time verification by Iliasov, A., Romanovsky, A., Laibinis, L., Troubitsyna, E., Latvala, T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Integrating safety analysis into formal specification of dependable systems

    Integrating safety analysis into formal specification of dependable systems by Troubitsyna, E.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    A Framework for Open Distributed System Design

    A Framework for Open Distributed System Design by Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols

    Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols by Ilic, D., Troubitsyna, E., Laibinis, L., Leppanen, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: