Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Youcef Hammal
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
Timed Petri Nets and BQOs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Test-Case Generation for UML Statecharts
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Holistic State Equation for Timed Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Realizability of Schedules by Stochastic Time Petri Nets With Blocking Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deriving Unbounded Petri Nets From Formal Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
On the Integration of UML and Petri Nets in Software Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
