Searching for authors named "Wang Yi" – sorted by Relevance.
60 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
