Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(formal control system). Showing records 1 – 10 of 10 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Queensland University of Technology

1. Subasinghage, Maduka Nuwangi. The impact of modularisation on information system development outsourcing project control.

Degree: 2016, Queensland University of Technology

 Information systems development (ISD) outsourcing projects employ modularisation to decompose complex tasks into simpler portions. Modularisation enables better management and control. Adopting a ‘control theory’… (more)

Subjects/Keywords: Case study; Control; Control theory; Formal control; Information system development; Information system development outsourcing; Informal control; Modularisation; Outsourcing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Subasinghage, M. N. (2016). The impact of modularisation on information system development outsourcing project control. (Thesis). Queensland University of Technology. Retrieved from http://eprints.qut.edu.au/95936/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Subasinghage, Maduka Nuwangi. “The impact of modularisation on information system development outsourcing project control.” 2016. Thesis, Queensland University of Technology. Accessed December 08, 2019. http://eprints.qut.edu.au/95936/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Subasinghage, Maduka Nuwangi. “The impact of modularisation on information system development outsourcing project control.” 2016. Web. 08 Dec 2019.

Vancouver:

Subasinghage MN. The impact of modularisation on information system development outsourcing project control. [Internet] [Thesis]. Queensland University of Technology; 2016. [cited 2019 Dec 08]. Available from: http://eprints.qut.edu.au/95936/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Subasinghage MN. The impact of modularisation on information system development outsourcing project control. [Thesis]. Queensland University of Technology; 2016. Available from: http://eprints.qut.edu.au/95936/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Linnaeus University

2. Fröström, Martin. Styrning med inhyrda i personalstyrkan : En kvalitativ fallstudie som undersöker den inhyrda personalens in-/exkludering i olika styrmetoder samt dess effekt på ett målkongruent beteende.

Degree: Management Accounting and Logistics, 2019, Linnaeus University

Bakgrund: Användningen av inhyrd personal har ökat till följd av ett ökat krav på flexibilitet och ingår numera allt oftare i personalstyrkan. Däremot inkluderas sällan… (more)

Subjects/Keywords: Temporary staff; formal control system; informal control system; goal congruence; goal congruent behaviour.; Inhyrd personal; formell styrning; informell styrning; målkongruens; målkongruent beteende.; Business Administration; Företagsekonomi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fröström, M. (2019). Styrning med inhyrda i personalstyrkan : En kvalitativ fallstudie som undersöker den inhyrda personalens in-/exkludering i olika styrmetoder samt dess effekt på ett målkongruent beteende. (Thesis). Linnaeus University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-89078

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fröström, Martin. “Styrning med inhyrda i personalstyrkan : En kvalitativ fallstudie som undersöker den inhyrda personalens in-/exkludering i olika styrmetoder samt dess effekt på ett målkongruent beteende.” 2019. Thesis, Linnaeus University. Accessed December 08, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-89078.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fröström, Martin. “Styrning med inhyrda i personalstyrkan : En kvalitativ fallstudie som undersöker den inhyrda personalens in-/exkludering i olika styrmetoder samt dess effekt på ett målkongruent beteende.” 2019. Web. 08 Dec 2019.

Vancouver:

Fröström M. Styrning med inhyrda i personalstyrkan : En kvalitativ fallstudie som undersöker den inhyrda personalens in-/exkludering i olika styrmetoder samt dess effekt på ett målkongruent beteende. [Internet] [Thesis]. Linnaeus University; 2019. [cited 2019 Dec 08]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-89078.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fröström M. Styrning med inhyrda i personalstyrkan : En kvalitativ fallstudie som undersöker den inhyrda personalens in-/exkludering i olika styrmetoder samt dess effekt på ett målkongruent beteende. [Thesis]. Linnaeus University; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-89078

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Chen, Zhe. The control system in formal language theory and the model monitoring approach for reliability and safety : Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité.

Degree: Docteur es, Systèmes informatiques, 2010, Toulouse, INSA

Cette thèse contribue à l’étude de la fiabilité et de la sécurité-innocuité des systèmes informatisés, modélisés par des systèmes à événements discrets. Les principales contributions… (more)

Subjects/Keywords: Sécurité fonctionnelle; Uml; Systemes de contrôle; Monitoring de modèle; Génération de modèle; Model checking; Langage formel; Automate; Grammaire; Réécriture; Contrôle supervisé; Safety-related system; C system; Control system; Model monitoring; Model generating; Model checking; Formal language; Automaton; Grammar; Regulated rewriting; Supervisory control; Uml

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, Z. (2010). The control system in formal language theory and the model monitoring approach for reliability and safety : Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité. (Doctoral Dissertation). Toulouse, INSA. Retrieved from http://www.theses.fr/2010ISAT0014

Chicago Manual of Style (16th Edition):

Chen, Zhe. “The control system in formal language theory and the model monitoring approach for reliability and safety : Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité.” 2010. Doctoral Dissertation, Toulouse, INSA. Accessed December 08, 2019. http://www.theses.fr/2010ISAT0014.

MLA Handbook (7th Edition):

Chen, Zhe. “The control system in formal language theory and the model monitoring approach for reliability and safety : Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité.” 2010. Web. 08 Dec 2019.

Vancouver:

Chen Z. The control system in formal language theory and the model monitoring approach for reliability and safety : Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité. [Internet] [Doctoral dissertation]. Toulouse, INSA; 2010. [cited 2019 Dec 08]. Available from: http://www.theses.fr/2010ISAT0014.

Council of Science Editors:

Chen Z. The control system in formal language theory and the model monitoring approach for reliability and safety : Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité. [Doctoral Dissertation]. Toulouse, INSA; 2010. Available from: http://www.theses.fr/2010ISAT0014


McMaster University

4. Vakili, Sasan. Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System.

Degree: MASc, 2015, McMaster University

Stop-and-Go Adaptive Cruise Control (ACC+) is an extension of Adaptive Cruise Control (ACC) that works at low speed as well as normal highway speeds to… (more)

Subjects/Keywords: Robust adaptive cruise control plus (ACC+) design; Stop and Go adaptive cruise control; Formal verification; Hybrid system; Collision freedom; Safety; Differential dynamic logic (dL); KeYmaera verification tool; Robust feedback control; Cyber physical system; Linear Quadratic Regulator (LQR); H-infinity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vakili, S. (2015). Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/16611

Chicago Manual of Style (16th Edition):

Vakili, Sasan. “Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System.” 2015. Masters Thesis, McMaster University. Accessed December 08, 2019. http://hdl.handle.net/11375/16611.

MLA Handbook (7th Edition):

Vakili, Sasan. “Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System.” 2015. Web. 08 Dec 2019.

Vancouver:

Vakili S. Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System. [Internet] [Masters thesis]. McMaster University; 2015. [cited 2019 Dec 08]. Available from: http://hdl.handle.net/11375/16611.

Council of Science Editors:

Vakili S. Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System. [Masters Thesis]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16611

5. Hardmeier, Amanda. Hur kan man styra en relation? : En studie om styrning av interorganisatoriska relationer mellan små och medelstora företag.

Degree: Faculty of Arts and Sciences, 2018, Linköping UniversityLinköping University

Bakgrund: Interorganisatoriska relationer har blivit allt viktigare de senaste åren, företag köper exempelvis in IT-tjänster för att kunna förbättra sin kärnverksamhet. Det är dock… (more)

Subjects/Keywords: Interorganizational relationship; management control systems; formal control system; informal control system; small and medium sized enterprises; SME; service; trust; Interorganisatorisk relation; ekonomisk styrning; formella styrmedel; informella styrmedel; små och medelstora företag; SME; tjänster; tillit; Business Administration; Företagsekonomi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hardmeier, A. (2018). Hur kan man styra en relation? : En studie om styrning av interorganisatoriska relationer mellan små och medelstora företag. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148945

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hardmeier, Amanda. “Hur kan man styra en relation? : En studie om styrning av interorganisatoriska relationer mellan små och medelstora företag.” 2018. Thesis, Linköping UniversityLinköping University. Accessed December 08, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148945.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hardmeier, Amanda. “Hur kan man styra en relation? : En studie om styrning av interorganisatoriska relationer mellan små och medelstora företag.” 2018. Web. 08 Dec 2019.

Vancouver:

Hardmeier A. Hur kan man styra en relation? : En studie om styrning av interorganisatoriska relationer mellan små och medelstora företag. [Internet] [Thesis]. Linköping UniversityLinköping University; 2018. [cited 2019 Dec 08]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148945.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hardmeier A. Hur kan man styra en relation? : En studie om styrning av interorganisatoriska relationer mellan små och medelstora företag. [Thesis]. Linköping UniversityLinköping University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-148945

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Indian Institute of Science

6. Sukumar, Jairam. Towards a Unified Framework for Design of MEMS based VLSI Systems.

Degree: 2016, Indian Institute of Science

 Current day VLSI systems have started seeing increasing percentages of multiple energy domain components being integrated into the mainstream. Energy domains such as mechanical, optical,… (more)

Subjects/Keywords: MEMS based VLSI Systems; VLSI Circuits; Modeling and Simulation; MEMS based Hybrid Systems; Formal Verifcation; Compiler; Gyroscopes; Adaptive Cruise Control (ACC) System; MEMS; Electrical Communication Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sukumar, J. (2016). Towards a Unified Framework for Design of MEMS based VLSI Systems. (Thesis). Indian Institute of Science. Retrieved from http://hdl.handle.net/2005/3100

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sukumar, Jairam. “Towards a Unified Framework for Design of MEMS based VLSI Systems.” 2016. Thesis, Indian Institute of Science. Accessed December 08, 2019. http://hdl.handle.net/2005/3100.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sukumar, Jairam. “Towards a Unified Framework for Design of MEMS based VLSI Systems.” 2016. Web. 08 Dec 2019.

Vancouver:

Sukumar J. Towards a Unified Framework for Design of MEMS based VLSI Systems. [Internet] [Thesis]. Indian Institute of Science; 2016. [cited 2019 Dec 08]. Available from: http://hdl.handle.net/2005/3100.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sukumar J. Towards a Unified Framework for Design of MEMS based VLSI Systems. [Thesis]. Indian Institute of Science; 2016. Available from: http://hdl.handle.net/2005/3100

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Illinois – Urbana-Champaign

7. Duggirala, Parasara Sridhar. Dynamic analysis of Cyber-Physical Systems.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 With the recent advances in communication and computation technologies, integration of software into the sensing, actuation, and control is common. This has lead to a… (more)

Subjects/Keywords: Formal Methods; Verification; Cyber-Physical Systems; Hybrid Systems; Safety Verification; Reachable Set; Over-approximations; Dynamic Analysis; Discrepancy Function; Control Theory; Contraction Metric; Incremental Stability; Incremental Lyapunov Function; Adjacent Landing Alerting System (ALAS); Temporal Precedence Properties; Powertrain Control System; Signal Temporal Logic; Distributed Predicates; Parallel Landing Protocol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Duggirala, P. S. (2015). Dynamic analysis of Cyber-Physical Systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/89104

Chicago Manual of Style (16th Edition):

Duggirala, Parasara Sridhar. “Dynamic analysis of Cyber-Physical Systems.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 08, 2019. http://hdl.handle.net/2142/89104.

MLA Handbook (7th Edition):

Duggirala, Parasara Sridhar. “Dynamic analysis of Cyber-Physical Systems.” 2015. Web. 08 Dec 2019.

Vancouver:

Duggirala PS. Dynamic analysis of Cyber-Physical Systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2019 Dec 08]. Available from: http://hdl.handle.net/2142/89104.

Council of Science Editors:

Duggirala PS. Dynamic analysis of Cyber-Physical Systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/89104

8. Salim, Farzad. Detecting and resolving redundancies in EP3P policies.

Degree: 2006, Faculty of Computer Science and Software Engineering, University of Wollongong

 Current regulatory requirements on data privacy make it increasingly important for enterprises to be able to verify and audit their compliance with their privacy policies.… (more)

Subjects/Keywords: 080308 Programming Languages; 080303 Computer System Security; Privacy Enhencing Technologies; Formal Privacy Policy Language; Access Control; EPAL, EP3P; Redundancy detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Salim, F. (2006). Detecting and resolving redundancies in EP3P policies. (Thesis). Faculty of Computer Science and Software Engineering, University of Wollongong. Retrieved from http://eprints.qut.edu.au/28175/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Salim, Farzad. “Detecting and resolving redundancies in EP3P policies.” 2006. Thesis, Faculty of Computer Science and Software Engineering, University of Wollongong. Accessed December 08, 2019. http://eprints.qut.edu.au/28175/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Salim, Farzad. “Detecting and resolving redundancies in EP3P policies.” 2006. Web. 08 Dec 2019.

Vancouver:

Salim F. Detecting and resolving redundancies in EP3P policies. [Internet] [Thesis]. Faculty of Computer Science and Software Engineering, University of Wollongong; 2006. [cited 2019 Dec 08]. Available from: http://eprints.qut.edu.au/28175/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Salim F. Detecting and resolving redundancies in EP3P policies. [Thesis]. Faculty of Computer Science and Software Engineering, University of Wollongong; 2006. Available from: http://eprints.qut.edu.au/28175/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

9. Embe Jiague, Michel. Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services : Formal approaches for enforcing access control policies in service oriented architecture based applications.

Degree: Docteur es, Informatique, 2012, Université Paris-Est

La sécurité des systèmes d'information devient un enjeu préoccupant pour les organisations tant publiques que privées, car de tels systèmes sont pour la plupart universellement… (more)

Subjects/Keywords: Système d'information; Contrôle d'accès; Architecture orientée services; Méthode de spécification formelle; Transformation de spécifications; Interprétation de spécifications; Information system; Access control; Service oriented architecture; Formal specification method; Specification transformation; Specification transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Embe Jiague, M. (2012). Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services : Formal approaches for enforcing access control policies in service oriented architecture based applications. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2012PEST1076

Chicago Manual of Style (16th Edition):

Embe Jiague, Michel. “Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services : Formal approaches for enforcing access control policies in service oriented architecture based applications.” 2012. Doctoral Dissertation, Université Paris-Est. Accessed December 08, 2019. http://www.theses.fr/2012PEST1076.

MLA Handbook (7th Edition):

Embe Jiague, Michel. “Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services : Formal approaches for enforcing access control policies in service oriented architecture based applications.” 2012. Web. 08 Dec 2019.

Vancouver:

Embe Jiague M. Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services : Formal approaches for enforcing access control policies in service oriented architecture based applications. [Internet] [Doctoral dissertation]. Université Paris-Est; 2012. [cited 2019 Dec 08]. Available from: http://www.theses.fr/2012PEST1076.

Council of Science Editors:

Embe Jiague M. Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services : Formal approaches for enforcing access control policies in service oriented architecture based applications. [Doctoral Dissertation]. Université Paris-Est; 2012. Available from: http://www.theses.fr/2012PEST1076

10. Dang, Kim Dung. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model.

Degree: Docteur es, Informatique et applications, 2013, La Rochelle

 L’objectif de cette thèse est de fournir un modèle, une méthode et un outil d’aide à la réalisation de scénarios interactifs. Cette solution répond au… (more)

Subjects/Keywords: Jeu; Jeu vidéo; Histoire; Discours; Scénario; Narration; Interactivié; Discours interactif; Narration interactive; Propriété de narration; Modélisation et validation de scénario; Système auteur; Système de pilotage; Logique linéaire; Modèle formel; Game; Vidéo game; Story; Discourse; Scenario; Storytelling; Interactivity; Interactive discourse; Interactive storytelling; Narrative property; Scenario modeling and validation; Authoring system; Control system; Linear logic; Formal model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dang, K. D. (2013). Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model. (Doctoral Dissertation). La Rochelle. Retrieved from http://www.theses.fr/2013LAROS397

Chicago Manual of Style (16th Edition):

Dang, Kim Dung. “Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model.” 2013. Doctoral Dissertation, La Rochelle. Accessed December 08, 2019. http://www.theses.fr/2013LAROS397.

MLA Handbook (7th Edition):

Dang, Kim Dung. “Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model.” 2013. Web. 08 Dec 2019.

Vancouver:

Dang KD. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model. [Internet] [Doctoral dissertation]. La Rochelle; 2013. [cited 2019 Dec 08]. Available from: http://www.theses.fr/2013LAROS397.

Council of Science Editors:

Dang KD. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model. [Doctoral Dissertation]. La Rochelle; 2013. Available from: http://www.theses.fr/2013LAROS397

.