Zum Inhalt springen

  3. Asarin, Eugene [HerausgeberIn]; Bouyer, Patricia [Sonstige Person, Familie und Körperschaft] ; FORMATS 4 2006 Paris

    Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4202

  4. Borgna, Agustín [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Perdrix, Simon [MitwirkendeR]

    Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique ; Towards a formal compilation stack-frame in quantum computing

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-01-13

  5. Marir, Souad [VerfasserIn] ; Pau [MitwirkendeR]; Université Abdelhamid Mehri - Constantine 2. Faculté des Nouvelles Technologies de l'Information et de la Communication (Constantine, Algérie) [MitwirkendeR]; Hameurlain, Nabil [MitwirkendeR]; Belala, Faiza [MitwirkendeR]

    Modélisation Formelle des Systèmes Fog : vers l'Analyse et la Validation de leur Comportement ; Formal Modeling of Fog Systems : Towards the Analysis and Validation of their Behaviour

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-07-14

  7. Mambakam, Akshay [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Dang, Thao [MitwirkendeR]; Basset, Nicolas [MitwirkendeR]

    Formalismes temporisés paramétriques pour la spécification et la surveillance ; Parametric timed formalisms for specification and monitoring

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-07-07

  8. Girard-Satabin, Julien [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Schoenauer, Marc [MitwirkendeR]; Chihani, Hichem Zakaria [MitwirkendeR]; Charpiat, Guillaume [MitwirkendeR]

    Verification and validation of Machine Learning techniques ; Vérification et validation de techniques d'apprentissage machine

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-09

  9. Robin, Ludovic [VerfasserIn] ; Université de Lorraine [MitwirkendeR]; Kremer, Steve [MitwirkendeR]; Delaune, Stéphanie [MitwirkendeR]

    Vérification formelle de protocoles basés sur de courtes chaines authentifiées ; Formal verification of protocols based on short authenticated strings

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-02-15

  10. Jobin, Arnaud [VerfasserIn] ; Cachan, Ecole normale supérieure [MitwirkendeR]; Jensen, Thomas [MitwirkendeR]

    Dioïdes et idéaux de polynômes en analyse statique ; Static analysis with dioids and polynomial ideals

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-01-16

  11. Sagaspe, Laurent [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Couvreur, Jean-Michel [MitwirkendeR]; Bieber, Pierre [MitwirkendeR]

    Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2008-12-04

  12. Pham, Thi-Kim-Dung [VerfasserIn] ; Paris, CNAM [MitwirkendeR]; Dubois, Catherine [MitwirkendeR]; Lévy, Nicole [MitwirkendeR]

    Development of Correct-by-Construction Software using Product Lines ; Développement de logiciels corrects par construction à partir de lignes de produits

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-11-16

  13. De Almeida Pereira, Dalay Israel [VerfasserIn] ; Centrale Lille Institut [MitwirkendeR]; Collart-Dutilleul, Simon [MitwirkendeR]

    Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais ; Analysis and formal specification of relay-based railway interlocking systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-10-15

  14. De Almeida Pereira, Dalay Israel [VerfasserIn] ; Ecole centrale de Lille [MitwirkendeR]; Collart-Dutilleul, Simon [MitwirkendeR]

    Analyse et spécification formelle des systèmes d’enclenchement ferroviaire basés sur les relais ; Analysis and formal specification of relay-based railway interlocking systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-10-15

  15. Clavière, Arthur [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Pagetti, Claire [MitwirkendeR]; Asselin, Eric [MitwirkendeR]

    Vérification de la sûreté des systèmes basés réseaux de neurones s'appuyant sur les méthodes formelles ; Safety verification of neural network based systems using formal methods

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-07-17

  16. Afendi, Meryem [VerfasserIn] ; Paris 12 [MitwirkendeR]; Laleau, Régine [MitwirkendeR]; Mammar, Amel [MitwirkendeR]

    A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B ; Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-12

  17. Robles, Virgile [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Le Gall, Pascale [MitwirkendeR]; Prevosto, Virgile [MitwirkendeR]; Kosmatov, Nikolaï [MitwirkendeR]

    Specifying and verifying high-level requirements on large programs : application to security of C programs ; Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-01-21

  18. Ivanova, Elena [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Girard, Antoine [MitwirkendeR]

    Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms ; Synthèse efficace des contrôleurs de sécurité à l'aide de modèles symboliques et d'algorithmes paresseux

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-15

  19. Vassor, Martin [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Stefani, Jean-Bernard [MitwirkendeR]

    Graphes de localités : une approche formelle à l'encapsulation et implémentation ; Location graphs : a formal approach to encapsulation and its implementation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-05-07

  20. Ferey, Gaspard [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Dowek, Gilles [MitwirkendeR]

    Higher-Order Confluence and Universe Embedding in the Logical Framework ; Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-06-30