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 239

Zaznacz stronę

Skocz do pozycji: 1 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

Szczegóły

Skocz do pozycji: 2 2.

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

Szczegóły

Skocz do pozycji: 3 3.

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

Szczegóły

Skocz do pozycji: 4 4.

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

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; Pokaż więcej
Źródło :: In Science of Computer Programming 15 November 2018 166:71-88
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 6 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

Szczegóły

Skocz do pozycji: 7 7.

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

Szczegóły

Skocz do pozycji: 8 8.

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

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

Skocz do pozycji: 9 9.

Tytuł :: EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frederic; Pokaż więcej
Źródło :: Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings. 1481:101-111
: Książka elektroniczna

Szczegóły

Skocz do pozycji: 10 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

Szczegóły

Wyświetlanie 1-10 z 239

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

Informacja

Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

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