MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Franck Cassez" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Symbolic Unfoldings for Networks of Timed Automata  
  • by Franck Cassez, Thomas Chatain, Claude Jard — 2006 — Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, number 4218 in Lecture Notes in Computer Science
  • …Symbolic Unfoldings For Networks of Timed Automata Franck Cassez 1⋆ , Thomas Chatain 2 and Claude…
  • Cited by 2 (0 self) – Add To MetaCart
  • Modal logics for timed control  
  • by Patricia Bouyer, Franck Cassez, François Laroussinie — 2005
  • …Patricia Bouyer, Franck Cassez, François Laroussinie. Modal Logics for Timed Control. Research…
  • Cited by 1 (0 self) – Add To MetaCart
  • Extending the Translation from SDL to Promela  
  • by Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux — 2002 — in 9th International SPIN Workshop on Model Checking of Software (SPIN’02
  • …Extending the Translation from SDL to Promela Armelle Prigent 1 ,Franck Cassez 2 , Philippe…
  • Cited by 2 (1 self) – Add To MetaCart
  • Verification of Embedded Reactive Fiffo Systems  
  • by Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grgoire Sutre — 2002
  • … de la Noe, 44321 Nantes cedex 3, France {Franck.Cassez, Olivier.Roux}@(email omitted); 2 La…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB