Searching for authors named "Wang Yi" – sorted by Relevance.
-
Hierarchical Design and Analysis of Timed Systems
- Hierarchical Design and Analysis of Timed Systems Wang Yi Uppsala University 1 Summary
- Add To MetaCart
-
Reasoning about Uncertain Information Compositionally
- Reasoning about Uncertain Information Compositionally Wang Yi Department of Computer Systems
- Cited by 1 (0 self) – Add To MetaCart
-
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
- and Wang Yi Uppsala University Department of Information Technology P.O. Box 337, S-751 05 Uppsala, Sweden
- Cited by 10 (3 self) – Add To MetaCart
-
A Proof System for Timed Automata
- A Proof System for Timed Automata Huimin Lin 1? Wang Yi 2 1 Laboratory for Computer Science
- Cited by 2 (1 self) – Add To MetaCart
-
Axiomatising Timed Automata
- , Chinese Academy of Sciences Email: lhm@(email omitted); Wang Yi Dept. of Computer Systems Uppsala University
- Cited by 1 (0 self) – Add To MetaCart
-
Modelling and Analysis of a Commercial Field Bus Protocol
- Modelling and Analysis of a Commercial Field Bus Protocol Alexandre David Wang Yi adavid
- Cited by 5 (0 self) – Add To MetaCart
-
+XLPLQ /LQ:DQJ - Laboratory for Computer Science Inst. of Software, Chinese Academy of Sciences Email: lhm@(email omitted); Wang
- Add To MetaCart
-
Compositional Testing Preorders for Probabilistic Processes
- Compositional Testing Preorders for Probabilistic Processes Bengt Jonsson and Wang Yi y
- Cited by 40 (0 self) – Add To MetaCart
-
A generic approach to schedulability analysis of real-time tasks
- A Generic Approach to Schedulability Analysis of Real-Time Tasks Elena Fersman and Wang Yi Uppsala
- Cited by 11 (3 self) – Add To MetaCart
-
Timed Automata: Semantics, Algorithms and Tools
- Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson and Wang Yi Uppsala University
- Cited by 40 (0 self) – Add To MetaCart

