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 90

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, ZhimingAff1, Aff3, IDs1170402213744_cor3
Źródło:: Frontiers of Computer Science. 16(4)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Autorzy:: Zhang, Yuanrui
Wu, Hengyang
Chen, Yixiang
Mallet, Frédéric
Źródło:: Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Autorzy:: Zhang, Min
Song, Fu
Mallet, Frédéric
Chen, Xiaohong
Źródło:: Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11424:61-78

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 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
Źródło:: Frontiers of Computer Science. 14(1):105-129

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Autorzy:: Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, FrédéricAff15, Aff16, Aff17
Yang, Mingrui
Źródło:: Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. 10231:111-133

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: MARTE for CPS and CPSoS : Present and Future, Methodology and Tools
Autorzy:: Mallet, Frédéric
Villar, Eugenio
Herrera, Fernando
Źródło:: Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. :81-108

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Autorzy:: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad
Ź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: 8.

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

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Autorzy:: Zhang, Min
Mallet, FrédéricAff16, Aff17, Aff18
Zhu, Huibiao
Źródło:: Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. 10009:433-449

Książka elektroniczna

na półce

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
Źródło:: Frontiers of Computer Science. 14(3)

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-10 z 90

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