Searching for "Verifying Bisimulations "On the Fly"." – sorted by Relevance.
33,801 documents found, showing 1 through 10.
Next 10 →
-
Verifying Bisimulations "On the Fly"
- …Verifying Bisimulations "On the Fly" Jean-Claude Fernandez Laurent Mounier LGI-IMAG BP 53X 38041…
- Cited by 18 (4 self) – Add To MetaCart
-
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified
- … bisimulation, which we formally verify using the theorem prover PVS. The example serves as the first important…
- Cited by 16 (10 self) – Add To MetaCart
-
Learning to Fly
- …- 1 - Learning to Fly Claude Sammut Scott Hurst Dana Kedzier School of Computer Science…
- Cited by 85 (13 self) – Add To MetaCart
-
On the Fly Reconfiguration with
- …XAPP388 (v1.2) May 15, 2003 R Application Note: CoolRunner-II CPLDs On the Fly Reconfiguration…
- Add To MetaCart
-
Paperwork on the Fly
- …Paperwork on the Fly José Luís Faria, António Pedro Aragão, Carlos Baquero, Luís Soares Barbosa…
- Add To MetaCart
-
Grading on the Fly
- … Group GRADING ON THE FLY Steffen Staab & Udo Hahn May 1998 L I F REPORT 6/98 GRADING ON THE FLY Steffen…
- Cited by 3 (0 self) – Add To MetaCart
-
Authoring on the Fly
- …Authoring on the fly Th. Ottmann, Ch. Bacher Institut fur Informatik Universitat Freiburg bacher…
- Add To MetaCart
-
On robots and flies: modeling the visual orientation behavior of flies
- …Robotics and Autonomous Systems 29 (1999) 227–242 On robots and flies: Modeling the visual…
- Cited by 13 (0 self) – Add To MetaCart
-
FlyBase: a
- …{ 1998 Oxford University Press 85--88 Nucleic Acids Research, 1998, Vol. 26, No. 1 FlyBase: a…
- Add To MetaCart
-
Toward Indoor Flying Robots
- …Toward Indoor Flying Robots Jean-D. Nicoud 1 , Jean-C. Zufferey 2 1 DIDEL SA, Belmont, Switzerland…
- Cited by 17 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
