Jump to Navigation
Home
MEALS
Mobility between Europe and Argentina applying Logics to Systems

User menu

  • Login

You are here

Home ›

Publications

Filters: Author is E.S. Estens Musa  [Clear All Filters]
In Press
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Proceedings PASM 2012. In Press.
  • Google Scholar
  • BibTex
2013
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.
  • Google Scholar
  • BibTex
2012
E. E. S. Musa, “Verification of Stochastic Requirements in Supervised Plants”, SE Report, TUE. 2012.
  • Google Scholar
  • BibTex

Main menu

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Contents

  • Home
  • Work Packages
  • Partners & People
  • Announcements
  • Publications
    • Authors
    • WP1
    • WP2
    • WP3
    • WP4
    • WP5
  • Deliverables

   

                              

Powered by Drupal