Search

Your search keyword '"Seidner, Charlotte"' showing total 23 results

Search Constraints

Start Over You searched for: Author "Seidner, Charlotte" Remove constraint Author: "Seidner, Charlotte"
23 results on '"Seidner, Charlotte"'

Search Results

1. Cost Problems for Parametric Time Petri Nets

2. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets

3. Optimal Reachability in Cost Time Petri Nets

5. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

9. Cost Problems for Parametric Time Petri Nets*.

11. Formal Synthesis of Real-Time System Models in a MDE Approach

12. Formal composition based on roles within a model driven engineering approach

13. xFFBD : towards a formal yet simple and complete functional modeling technique for system designers

14. Modélisation Comportementale et Formelle de Systèmes d'Exploitation Temps Réel

15. Formal Methods for Systems Engineering Behavior Models

16. Usability and Usefulness of Formal Verification in a System Design Process

17. Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design

18. Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues

23. Cost Problems for Parametric Time Petri Nets*.

Catalog

Books, media, physical & digital resources