E. S. Estens Musa

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Artifact Centric

Formal Specification

Systems Engineering

Temporal Properties

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Jasen Markovski, E. S. Estens Musa, Michel A. Reniers
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Electron. Notes Theor. Comput. Sci. 296 (2013)