Autor: "de Simone, Robert" - 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ę ""de Simone, Robert"" wg kryterium: Autor

Wyświetlanie 1-20 z 93

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Instant-Based and State-Based Analysis of Infinite Logical Clock
Autorzy:: Xu, QingguoAff17, Aff18
Miao, HuaikouAff17, Aff18
de Simone, Robert
DeAntoni, Julien; Pokaż więcej
Źródło:: Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. 10189:32-51

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Divergence Detection for CCSL Specification via Clock Causality Chain
Autorzy:: Xu, QingguoAff16, Aff17
de Simone, Robert
DeAntoni, Julien; Pokaż więcej
Źródło:: Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. 9984:18-37

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
Autorzy:: Gorcitz, Raul
Kofman, EmilienAff18, Aff19
Carle, Thomas
Potop-Butucaru, Dumitru
de Simone, Robert; Pokaż więcej
Źródło:: Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. 9268:108-123

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Periodic scheduling of marked graphs using balanced binary words
Autorzy:: Millo, Jean-Vivien
de Simone, Robert; Pokaż więcej
Źródło:: In Theoretical Computer Science 2 November 2012 458:113-130

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: IP-XACT Components with Abstract Time Characterization
Autorzy:: Mallet, Frédéric
André, Charles
de Simone, Robert; Pokaż więcej
Źródło:: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s : Selected Contributions on Specification, Design, and Verification from FDL 2009. 63:3-18

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations
Autorzy:: Potop-Butucaru, Dumitru
de Simone, Robert
Sorel, Yves; Pokaż więcej
Źródło:: Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :229-262

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The Time Model of Logical Clocks Available in the OMG MARTE Profile
Autorzy:: André, Charles
DeAntoni, Julien
Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło:: Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :201-227

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Formal Modeling of Embedded Systems with Explicit Schedules and Routes
Autorzy:: Boucaron, Julien
Coadou, Anthony
de Simone, Robert; Pokaż więcej
Źródło:: Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction. :41-78

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Autorzy:: Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło:: Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL’08. 36:27-41

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Modeling AADL Data Communications with UML MARTE
Autorzy:: André, CharlesAff4, Aff5
Mallet, FrédéricAff4, Aff5
de Simone, RobertAff4, Aff5; Pokaż więcej
Źródło:: Embedded Systems Specification and Design Languages : Selected contributions from FDL’07. 10:155-168

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Modeling Time(s)
Autorzy:: André, Charles
Mallet, Frédéric
de Simone, Robert; Pokaż więcej
Źródło:: Model Driven Engineering Languages and Systems : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings. 4735:559-573

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
Autorzy:: Vecchié, Eric
de Simone, Robert; Pokaż więcej
Źródło:: Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. 3576:213-225

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Optimizations for Faster Execution of Esterel Programs
Autorzy:: Potop-Butucaru, Dumitru
de Simone, Robert; Pokaż więcej
Źródło:: Formal Methods and Models for System Design : A System Level Perspective. :285-315

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Instantaneous Termination in Pure Esterel
Autorzy:: Tardieu, Olivier
de Simone, Robert; Pokaż więcej
Źródło:: Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings. 2694:91-108

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Explicit routing schemes for implementation of cellular automata on processor arrays
Autorzy:: Millo, Jean-Vivien
de Simone, Robert; Pokaż więcej
Źródło:: Natural Computing: An International Journal. September 2013 12(3):353-368

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Using PO Methods for Verifying Behavioural Equivalences
Autorzy:: de Souza, Monica Lara
de Simone, Robert; Pokaż więcej
Źródło:: Formal Description Techniques VIII : Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. :75-89

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The FC2TOOLS set
Autorzy:: Bouali, Amar
Ressouche, Annie
Roy, Valérie
de Simone, Robert; Pokaż więcej
Źródło:: Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings. 1102:441-445

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Alto: An Interactive Transformation Tool for Lotos and Lotomaton
Autorzy:: Najm, Elie
Serhrouchni, A.
Lakas, A.
Madelaine, Eric.
de Simone, Robert.; Pokaż więcej
Źródło:: LOTOSphere: Software Development with LOTOS. :369-388

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Symbolic bisimulation minimisation
Autorzy:: Bouali, Amar
de Simone, Robert; Pokaż więcej
Źródło:: Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. 663:96-108

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Auto/Autograph
Autorzy:: Roy, Valérie
De Simone, Robert; Pokaż więcej
Źródło:: Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification. :93-103

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 93

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

Wyszukujesz frazę ""de Simone, Robert"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji