Searching for authors named "Laurent Mounier" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
A LOTOS Specification of a "Transit-Node"
- …A Lotos Specification of a "Transit-Node" Laurent Mounier INRIA projet SPECTRE -- VERIMAG y…
- Cited by 2 (1 self) – Add To MetaCart
-
Aldébaran: Users's manual
- …Ald'ebaran: Users's manual Jean-Claude Fernandez and Laurent Mounier IMAG--LGI BP53X 38041 GRENOBLE…
- Add To MetaCart
-
Compositional state space generation with partial order reductions for Asynchronous Communicating Systems
- … Systems Jean-Pierre Krimm and Laurent Mounier VERIMAG ? -- Centre Equation -- 2, avenue de Vignate -- F…
- Cited by 6 (2 self) – Add To MetaCart
-
A Tool Set for deciding Behavioral Equivalences
- …A Tool Set for deciding Behavioral Equivalences Jean-Claude Fernandez y Laurent Mounier y…
- Cited by 6 (2 self) – Add To MetaCart
-
A local checking algorithm for Boolean Equation Systems
- …A local checking algorithm for Boolean Equation Systems J.Cl. Fernandez and Laurent Mounier…
- Cited by 2 (0 self) – Add To MetaCart
-
Compositional State Space Generation from Lotos Programs
- …Compositional State Space Generation from Lotos Programs ? Jean-Pierre Krimm and Laurent Mounier…
- Cited by 20 (3 self) – Add To MetaCart
-
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
-
J.L.: A test calculus framework applied to network security policies
- …-Claude Fernandez 1 , Laurent Mounier 1 , and Jean-Luc Richier 2 Email: {Ylies.Falcone,Jean-Claude.Fernandez,Laurent.Mounier…
- Cited by 1 (0 self) – Add To MetaCart
-
Automated validation of distributed software using the IF environment
- … and Susanne Graf and Laurent Mounier 1 VERIMAG, Centre Equation, 2 avenue de Vignate, F-38610 Gi…
- Cited by 14 (9 self) – Add To MetaCart
-
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
- … Graf, and Laurent Mounier VERIMAG, Centre Equation, 2 avenue de Vignate, F-38610 Gieres 1 Introduction…
- Cited by 42 (19 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
