6 results on '"Carnevali L"'
Search Results
2. Automatic Code Generation from Real-Time Systems Specifications.
3. Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
4. Sensitization of symbolic runs in real-time testing using the ORIS tool.
5. Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
6. A Tool Supporting Evaluation of Non-markovian Fault Trees.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.