Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Formally verifying consistency of sequence diagrams for safety critical systems.
    Czasopismo naukowe
    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)
    Źródło:
    Science of Computer Programming. Apr2022, Vol. 216, pN.PAG-N.PAG. 1p.
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
    Czasopismo naukowe
    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
    Źródło:
    Science of Computer Programming. Mar2021, Vol. 203, pN.PAG-N.PAG. 1p.
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    A clock-based dynamic logic for schedulability analysis of CCSL specifications.
    Czasopismo naukowe
    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)
    Źródło:
    Science of Computer Programming. Feb2021, Vol. 202, pN.PAG-N.PAG. 1p.
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
    Czasopismo naukowe
    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
    Źródło:
    Software & Systems Modeling. Feb2019, Vol. 18 Issue 1, p11-37. 27p.
    Czasopismo naukowe
    Pełny tekst  Link otwiera się w nowym oknie Pełny tekstSzczegóły
    Tytuł:
    Non metastatic prostate cancers treated by exclusive radiotherapy: the different outcome of node negative patients according to surgical or radiological staging
    Czasopismo naukowe
    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
    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
      Wyświetlanie 1-10 z 10

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies