Autor: "Mallet, Frédéric" - OpacWWW

Skocz do pozycji: 1 1.

Tytuł :: Non metastatic prostate cancers treated by exclusive radiotherapy: the different outcome of node negative patients according to surgical or radiological staging
Autorzy :: Dat Nguyen, Tan
Mallet, Frédéric
Petit, Michel
Lemaire, Philippe
Cauchois, Adéla
Loirette, Michel
Merle, Corinne; Pokaż więcej
Alternatywny tytuł :: Cancers de prostate non me´tastatiques traite´s par radiothe´rapie exclusive : devenir des patients selon la me´thode d'e´valuation ganglionnaire radiologique ou chirurgicale. Une analyse re´trospective multivarie´e
Źródło :: Annales d'Urologie. Apr2002, Vol. 36 Issue 3, p182. 8p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 2 2.

Tytuł :: ÉVOLUTIONS RÉGLEMENTAIRES SÉCURISER LE FINANCEMENT DES PARCS D'ÉOLIENNES.
Autorzy :: Delavenne, Charles
Mallet, Frédéric; Pokaż więcej
Źródło :: Revue Banque/Banque Magazine. jan2012, Issue 744, p60-62. 3p.
: Periodyk

Szczegóły Pełny tekst

Skocz do pozycji: 3 3.

Tytuł :: Correctness issues on MARTE/CCSL constraints.
Autorzy :: Mallet, Frédéric Frederic.Mallet@unice.fr
de Simone, Robert; Pokaż więcej
Źródło :: Science of Computer Programming. Aug2015, Vol. 106, p78-92. 15p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Periodic scheduling for MARTE/CCSL: Theory and practice.
Autorzy :: Zhang, Min
Dai, Feng
Mallet, Frédéric Frederic.Mallet@unice.fr; Pokaż więcej
Źródło :: Science of Computer Programming. Mar2018, Vol. 154, p42-60. 19p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 5 5.

Tytuł :: pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems.
Autorzy :: Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, Frédéric Frederic.Mallet@unice.fr; Pokaż więcej
Źródło :: Science of Computer Programming. Nov2018, Vol. 166, p71-88. 18p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 6 6.

Tytuł :: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
Autorzy :: Khan, Aamir M.
Mallet, Frédéric Frederic.Mallet@unice.fr
Rashid, Muhammad; Pokaż więcej
Źródło :: Software & Systems Modeling. Feb2019, Vol. 18 Issue 1, p11-37. 27p.
: Czasopismo naukowe

Szczegóły Pełny tekst Pełny tekst

Skocz do pozycji: 7 7.

Tytuł :: A clock-based dynamic logic for schedulability analysis of CCSL specifications.
Autorzy :: Zhang, Yuanrui (AUTHOR)
Mallet, Frédéric (AUTHOR)
Zhu, Huibiao (AUTHOR)
Chen, Yixiang (AUTHOR)
Liu, Bo (AUTHOR)
Liu, Zhiming (AUTHOR); Pokaż więcej
Źródło :: Science of Computer Programming. Feb2021, Vol. 202, pN.PAG-N.PAG. 1p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 8 8.

Tytuł :: A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Autorzy :: Zhang, Yuanrui (AUTHOR)
Wu, Hengyang (AUTHOR)
Chen, Yixiang (AUTHOR)
Mallet, Frédéric (AUTHOR) Frederic.Mallet@inria.fr; Pokaż więcej
Źródło :: Science of Computer Programming. Mar2021, Vol. 203, pN.PAG-N.PAG. 1p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 9 9.

Tytuł :: Preface – FTSCS 2019.
Autorzy :: Hasan, Osman (AUTHOR)
Mallet, Frédéric (AUTHOR); Pokaż więcej
Źródło :: Science of Computer Programming. Sep2021, Vol. 209, pN.PAG-N.PAG. 1p.
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 10 10.

Tytuł :: Formally verifying consistency of sequence diagrams for safety critical systems.
Autorzy :: Chen, Xiaohong (AUTHOR)
Liu, Qianqian (AUTHOR)
Mallet, Frédéric (AUTHOR) Frederic.Mallet@inria.fr
Li, Qin (AUTHOR)
Cai, Shubin (AUTHOR)
Jin, Zhi (AUTHOR); Pokaż więcej
Źródło :: Science of Computer Programming. Apr2022, Vol. 216, pN.PAG-N.PAG. 1p.
: Czasopismo naukowe

Szczegóły

Informacja