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

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: Autor

Wyświetlanie 1-10 z 27

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: A dynamic logic for verification of synchronous models based on theorem proving.
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Liu, Zhiming
Źródło:: Frontiers of Computer Science; Aug2022, Vol. 16 Issue 4, p1-3, 3p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: TRAP: trace runtime analysis of properties.
Autorzy:: Yue, Daian
Joloboff, Vania
Mallet, Frédéric
Źródło:: Frontiers of Computer Science; Jun2020, Vol. 14 Issue 3, pN.PAG-N.PAG, 1p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang
Źródło:: Frontiers of Computer Science; Feb2020, Vol. 14 Issue 1, p105-129, 25p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
Autorzy:: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad
Temat:: UNIFIED modeling language
COMPUTATIONAL complexity
SEMANTICS
EMBEDDED computer systems
GRAPHICAL modeling (Statistics)
Źródło:: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p11-37, 27p

Czasopismo naukowe

na półce

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

Skocz do pozycji: 5.

Tytuł:: Sample-Guided Automated Synthesis for CCSL Specifications.
Autorzy:: Ming Hu
Tongquan Wei
Min Zhang
Mallet, Frédéric
Mingsong Chen
Temat:: ELECTRONIC design automation
EMBEDDED computer systems
NATURAL language processing
SCALABILITY
PROGRAMMING languages
Źródło:: DAC: Annual ACM/IEEE Design Automation Conference; 2019, Issue 56, p979-984, 6p

Konferencja

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.
Autorzy:: Zhang, Min
Mallet, Frédéric
Zhu, Huibiao
Źródło:: Formal Methods & Software Engineering (9783319478456); 2016, p433-449, 17p

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Autorzy:: Zhang, Min
Mallet, Frédéric
Źródło:: Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers; 2016, p37-51, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE.
Autorzy:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric
Millo, Jean-Vivien
Boulet, Pierre
Gamatié, Abdoulaye
Temat:: DATA flow computing
EMBEDDED computer systems
UNIFIED modeling language
APPLICATION software
COMPUTER science
Źródło:: Design Automation for Embedded Systems; Mar2015, Vol. 19 Issue 1/2, p1-33, 33p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: MARTE/CCSL for Modeling Cyber-Physical Systems.
Autorzy:: Mallet, Frédéric
Źródło:: Formal Modeling & Verification of Cyber-Physical Systems; 2015, p26-49, 24p

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Coalgebraic Semantic Model for the Clock Constraint Specification Language.
Autorzy:: Mallet, Frédéric
Zholtkevych, Grygoriy
Źródło:: Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers; 2015, p174-188, 15p

Książka

na półce

Szczegóły

Wyświetlanie 1-10 z 27

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