Wszystkie pola: "Mallet, Frédéric" - OpacWWW

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

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

Wyświetlanie 1-10 z 129

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Formally verifying consistency of sequence diagrams for safety critical systems
Autorzy:: Chen, Xiaohong; Pokaż więcej
Źródło:: In Science of Computer Programming 1 April 2022 216

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Outcomes following brachytherapy boost for intermediate- and high-risk prostate cancer: A retrospective bicenter study by the SFRO brachytherapy group
Autorzy:: Ka, Kanta; Pokaż więcej
Źródło:: In Radiotherapy and Oncology January 2022

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems
Autorzy:: Zhang, Yuanrui; Pokaż więcej
Źródło:: In Science of Computer Programming 1 March 2021 203

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A clock-based dynamic logic for schedulability analysis of CCSL specifications
Autorzy:: Zhang, Yuanrui; Pokaż więcej
Źródło:: In Science of Computer Programming 1 February 2021 202

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
Autorzy:: Du, Dehui; Pokaż więcej
Źródło:: In Science of Computer Programming 15 November 2018 166:71-88

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Periodic scheduling for MARTE/CCSL: Theory and practice
Autorzy:: Zhang, Min; Pokaż więcej
Źródło:: In Science of Computer Programming 1 March 2018 154:42-60

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A verification framework for spatio-temporal consistency language with CCSL as a specification language
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang; Pokaż więcej
Źródło:: Frontiers of Computer Science. 14(1):105-129

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Autorzy:: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad; Pokaż więcej
Źródło:: Software & Systems Modeling. 18(1):11-37

Czasopismo naukowe

na półce

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

Skocz do pozycji: 10.

Tytuł:: TRAP: trace runtime analysis of properties
Autorzy:: Yue, DaianAff1, Aff2
Joloboff, VaniaAff1, Aff2
Mallet, FrédéricAff1, Aff3; Pokaż więcej
Źródło:: Frontiers of Computer Science. 14(3)

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-10 z 129

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz

Informacja

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

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język