Searching for "Formal Techniques for Networked and Distributed Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

Techniques for Networked and Distributed Systems. 2004
by Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoît Parreaux — IET Software - 31 - IET Review Copy Only Page 60 of 86 61 of 86
… describes a scenario-based process to synthesize a formal specification in the case of a distributed system…
Cited by 1 (1 self) – Add To MetaCart

.1 international conference on formal techniques for networked and distributed systems
by Tom Chothia — 2006 — Lecture Notes in Computer Science, n o 4229
… are the formal model of the MUTE system, the description of an attack on MUTE, found by analysing this model…
Cited by 3 (2 self) – Add To MetaCart

Universite Paris 6 - CNRS - Laboratoire d'informatique de Paris 6, Paris, France, September 1999.
by Hp Serge Haddad, Publications Of Denis Poitrenaud, Bcg François Bréant, Jean-michel Couvreur, Frédéric Gilliers, Isabelle Mounier, Emmanuel Paviot-adet, Denis Poitrenaud, Dan Regep, Grégoire Sutre, Formal Methods Embedded, Bp Robert Brgan — 2005
…ions and Theory of Petri Nets (ICATPN'00), Lecture Notes in Computer Science, Aarhus, Denmark, June 2000. Springer-Verlag. [TMIP04] Yann Thierry-Mieg, Jean-Michel Ilie, and Denis Poitrenaud. A symbolic symbolic state space representation. In David de FrutosEscrig and Manuel Nunez, editors, Proceedi…
Add To MetaCart

SVL: a Scripting Language for Compositional Verification
by Frederic Lang, Hubert Garavel, Hubert Garavel, Projet Vasy — 2001
… for Networked and Distributed Systems FORTE'2001 (Cheju Island, Korea), August 28-31, 2001. Hubert…
Cited by 9 (2 self) – Add To MetaCart

Computer Skills
by Systems Unix-sun Solaris — 1999
… Grant, 22nd IFIP WG 6.1 Int’l Conference on Formal Techniques for Networked and Distributed Systems 2002…
Add To MetaCart

Objective Education Honors Experience
by Carl Livadas
… on Formal Techniques for Networked and Distributed Systems (FORTE’02) (D. A. Peled and M. Y. Vardi, eds…
Add To MetaCart

Ad Hoc Routing Protocol Validation
by Oskar Wibling, Oskar Wibling, Oskar Wibling — 2005
… of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems…
Add To MetaCart

Education
by Alex David Groce, Advisor Edmund Clarke
… and Analysis-driven Debugging (AADEBUG), Formal Techniques for Networked and Distributed Systems (FORTE), Asia…
Add To MetaCart

Experience
by Alex David Groce
…-driven Debugging (AADEBUG), Formal Techniques for Networked and Distributed Systems (FORTE), Asia and South Pacific…
Add To MetaCart

To my late grandfather
by Dr. -ing, Der Universität Paderborn, Referent Prof, Dr. -ing Fevzi Belli, Korreferent Prof, Dr. -ing Ina Schieferdecker, Paderborn Den
…. Work-in-Progress Papers of the 23rd IFIP International Conference on Formal Techniques for Networked…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB