Searching for authors named "Alexandre David" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Protocol Verification using UPPAAL: Exercises
- …Protocol Verication using UPPAAL: Exercises ? Alexandre David Department of Computer Systems…
- Add To MetaCart
-
Hierarchical Modeling and Analysis of Timed Systems
- …Hierarchical Modeling and Analysis of Timed Systems Alexandre David A Dissertation submitted…
- 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
-
A Real-Time Animator for Hybrid Systems
- …A Real-Time Animator for Hybrid Systems Tobias Amnell, Alexandre David Wang Yi Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Verification of UML Statecharts with Real-time Extensions
- …Formal Verification of UML Statecharts with Real-time Extensions # Alexandre David 1 , M. Oliver…
- Cited by 24 (2 self) – Add To MetaCart
-
GROUP MEMBERS
- … David Number of copies: 6 Number of pages: 73 Abstract The goal of this report is to document…
- 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…
- Add To MetaCart
-
From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata
- …BRICS RS-01-11 David & Möller: From Hierarichcal Timed Automata to UPPAAL BRICS Basic Research…
- Cited by 8 (3 self) – Add To MetaCart
-
Unification & Sharing in Timed Automata Verification
- …Unification & Sharing in Timed Automata Verification Alexandre David 1 , Gerd Behrmann 2 , Kim…
- Cited by 3 (2 self) – Add To MetaCart
-
A Tool Architecture for the Next Generation of UPPAAL
- …A Tool Architecture for the Next Generation of UPPAAL Alexandre David Gerd Behrmann Kim G. Larsen…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
