Amyot, Daniel, 1970-
Amyot, Daniel
Daniel Amyot researcher
VIAF ID: 85508821 ( Personal )
Permalink: http://viaf.org/viaf/85508821
Preferred Forms
-
-
- 100 | _ ‡a Amyot, Daniel
-
-
- 100 1 _ ‡a Amyot, Daniel, ‡d 1970-
-
-
- 100 1 _ ‡a Amyot, Daniel, ‡d 1970-
- 100 0 _ ‡a Daniel Amyot ‡c researcher
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Feature interactions in telecommunications and software systems VII, c2003: | |
Formalization of timethreads using LOTOS. | |
New technologies in distributed systems = Nouvelles technologies des systèmes répartis | |
NOTERE 2005 : actes du 5e Colloque international sur les nouvelles technologies de la répartition : Gatineau, Canada, août 2005 | |
SAM 2004 | |
Specification and validation of telecommunications systems with use case maps and LOTOS. | |
System analysis and modeling : 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers | |
System Analysis and Modeling: Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings | |
Towards a tooled and proven formal requirements engineering approach. | |
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée |