Searching for authors named "Philippe Dhaussy" – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

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
…In this paper, we tackle the problem of model-checking SDL programs that use the save operator. Previous work on model-checking SDL programs with SPIN consists in translating SDL into IF (using sdl2if) and finally IF to Promela (if2pml). Nevertheless the save operator of SDL is not handled by the (f…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 1.

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