1 |
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
|
|
|
|
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
3 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Calculus semantic with values passing in the denotational approach ; Semântica do cálculo com passagem de valores na abordagem denotacional
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Using Two Formal Strategies to Eliminate Ambiguity in Poetry Text
|
|
|
|
In: IFIP Advances in Information and Communication Technology ; 2nd International Conference on Intelligence Science (ICIS) ; https://hal.inria.fr/hal-02118821 ; 2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.159-166, ⟨10.1007/978-3-030-01313-4_16⟩ (2018)
|
|
BASE
|
|
Show details
|
|
9 |
The methodology of criminal law science ; Методология науки уголовного права ; Основи методології науки кримінального права
|
|
|
|
In: Herald of the Association of Criminal Law of Ukraine; Том 2, № 9 (2017); 1-41 ; Вестник Ассоциации уголовного права Украины; Том 2, № 9 (2017); 1-41 ; Вісник асоціації кримінального права України; Том 2, № 9 (2017); 1-41 ; 2311-9640 (2017)
|
|
BASE
|
|
Show details
|
|
10 |
From formal concepts to analogical complexes
|
|
|
|
In: The 12th International Conference on Concept Lattices and their Applications ; CLA 2015 ; https://hal.inria.fr/hal-01198943 ; CLA 2015, LIMOS, CNRS et Université Blaise Pascal, Oct 2015, Clermont-Ferrand, France. pp.12 ; http://cla2015.isima.fr/ (2015)
|
|
BASE
|
|
Show details
|
|
11 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
12 |
Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination
|
|
|
|
In: Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination ; http://www.speakerodyssey.com (2015)
|
|
BASE
|
|
Show details
|
|
13 |
Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination
|
|
|
|
In: Accounting for Correlation in Linguistic-Acoustic Likelihood Ratio-based Forensic Speaker Discrimination ; http://www.speakerodyssey.com (2015)
|
|
BASE
|
|
Show details
|
|
14 |
A Study on the Translation of Martial Arts Terms in Jin Yong's The Book and the Sword
|
|
Tan, Wanqing. - : The University of Queensland, School of Languages and Cultures, 2015
|
|
BASE
|
|
Show details
|
|
15 |
Estendendo CRefine para o suporte de táticas de refinamento
|
|
Conserva Filho, Madiel de Souza. - : Universidade Federal do Rio Grande do Norte, 2014. : BR, 2014. : UFRN, 2014. : Programa de Pós-Graduação em Sistemas e Computação, 2014. : Ciência da Computação, 2014
|
|
BASE
|
|
Show details
|
|
16 |
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
|
|
|
|
In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012)
|
|
BASE
|
|
Show details
|
|
17 |
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
|
|
|
|
In: https://hal.inria.fr/hal-00763203 ; Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩ (2012)
|
|
BASE
|
|
Show details
|
|
19 |
The motion grammar: Linguistic perception, planning, and control
|
|
|
|
In: https://smartech.gatech.edu/bitstream/handle/1853/36485/yama.pdf (2011)
|
|
BASE
|
|
Show details
|
|
20 |
Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
|
|
|
|
BASE
|
|
Show details
|
|
|
|