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

Skocz do pozycji: 1.

Tytuł:: Clock constraint specification language: specifying clock constraints with UML/MARTE.
Autorzy:: Mallet, Frédéric; Pokaż więcej
Źródło:: Innovations in Systems & Software Engineering; Oct2008, Vol. 4 Issue 3, p309-314, 6p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Specification and verification of time requirements with CCSL and Esterel.
Autorzy:: André, Charles
Mallet, Frédéric; Pokaż więcej
Źródło:: ACM / SIGPLAN Notices; Jun2009, Vol. 44 Issue 7, p167-176, 10p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The clock constraint specification language for building timed causality models.
Autorzy:: Mallet, Frédéric
DeAntoni, Julien
André, Charles
Simone, Robert; Pokaż więcej
Źródło:: Innovations in Systems & Software Engineering; Mar2010, Vol. 6 Issue 1/2, p99-106, 8p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: ÉVOLUTIONS RÉGLEMENTAIRES SÉCURISER LE FINANCEMENT DES PARCS D'ÉOLIENNES.
Autorzy:: Delavenne, Charles
Mallet, Frédéric; Pokaż więcej
Źródło:: Banque Magazine / Revue Banque. jan2012, Issue 744, p60-62. 3p.

Periodyk

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 5.

Tytuł:: TimeSquare: Treat Your Models with Logical Time.
Autorzy:: DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło:: Objects, Models, Components, Patterns (9783642305603); 2012, p34-41, 8p

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Logical Time @ Work: Capturing Data Dependencies and Platform Constraints.
Autorzy:: Glitia, Calin
DeAntoni, Julien
Mallet, Frédéric; Pokaż więcej
Źródło:: System Specification & Design Languages; 2012, p223-238, 16p

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Boundness Issues in CCSL Specifications.
Autorzy:: Mallet, Frédéric
Millo, Jean-Viven; Pokaż więcej
Źródło:: Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p20-35, 16p

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.
Autorzy:: Zholtkevych, Grygoriy
Mallet, Frédéric
Zaretska, Iryna
Zholtkevych, Galyna; Pokaż więcej
Źródło:: Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p190-209, 20p

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Improving the Efficiency of Synchronized Product with Infinite Transition Systems.
Autorzy:: Romenska, Yuliia
Mallet, Frédéric; Pokaż więcej
Źródło:: Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p285-307, 23p

Książka

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.
Autorzy:: Goknil, Arda
Suryadevara, Jagadish
Peraldi-Frati, Marie-Agnès
Mallet, Frédéric; Pokaż więcej
Źródło:: Software Architecture (9783642390302); 2013, p89-105, 17p

Książka

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.
Autorzy:: Suryadevara, Jagadish
Seceleanu, Cristina
Mallet, Frédéric
Pettersson, Paul; Pokaż więcej
Źródło:: Software Engineering & Formal Methods (9783642405600); 2013, p1-15, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Reifying Concurrency for Executable Metamodeling.
Autorzy:: Combemale, Benoȋt
De Antoni, Julien
Larsen, Matias Vara
Mallet, Frédéric
Barais, Olivier
Baudry, Benoit
France, Robert B.; Pokaż więcej
Źródło:: Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013, Proceedings; 2013, p365-384, 20p

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 15.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Coalgebraic Semantic Model for the Clock Constraint Specification Language.
Autorzy:: Mallet, Frédéric
Zholtkevych, Grygoriy; Pokaż więcej
Ź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

Skocz do pozycji: 18.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 20.

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

Książka

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Autorzy:: Zhang, Min
Mallet, Frédéric; Pokaż więcej
Ź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: 22.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 23.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 24.

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
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: 25.

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; Feb2020, Vol. 14 Issue 1, p105-129, 25p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: TRAP: trace runtime analysis of properties.
Autorzy:: Yue, Daian
Joloboff, Vania
Mallet, Frédéric; Pokaż więcej
Ź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: 27.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 28.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 29.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 30.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 31.

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

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 32.

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

Czasopismo naukowe

na półce

Szczegóły

Informacja

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

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język