Zum Inhalt springen Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] ; RSSRail 1. 2016 Paris Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Cham]; Heidelberg: $nSpringer, [2016] Erschienen in: Lecture notes in computer science ; 9707 Lecomte, Thierry [VerfasserIn] Le Marais-Vernier, un territoire entre passé et modernité Aufsätze Online ansehen Schließen > Zugang https://www.persee.fr/doc/etnor_0014-2158_2017_num_1_1_3499 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erschienen in: Études Normandes ; Vol. 1, n° 1, pp. 12-19 Lecomte, Thierry [VerfasserIn] Loudun et son aire d'influence Aufsätze Online ansehen Schließen > Zugang https://www.persee.fr/doc/noroi_0029-182X_1981_num_111_1_3970 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erschienen in: Norois ; Vol. 111, n° 1, pp. 303-329 Ribeiro, Leila [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn] Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 10090 Milius, Birgit [HerausgeberIn]; Collart-Dutilleul, Simon [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings - [1st ed. 2023.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023. Erschienen in: Lecture Notes in Computer Science ; 14198 Collart-Dutilleul, Simon [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2019 Erschienen in: Programming and Software Engineering ; 11495- Springer eBooks ; Computer Science Fantechi, Alessandro [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2017 Erschienen in: Lecture notes in computer science ; 10598 Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9707 Collart-Dutilleul, Simon [HerausgeberIn]; Haxthausen, Anne E. [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings - [1st ed. 2022.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022. Erschienen in: Lecture Notes in Computer Science ; 13294 Lecomte, Frédérique [VerfasserIn]; Boujard, Thierry [VerfasserIn]; Meunier, François Jean [VerfasserIn]; Renno, Jean-François [VerfasserIn]; Rojas-Beltran, Ricardo [VerfasserIn] The growth of Myleus rhomboidalis (Cuvier, 1817) (Characiforme, Serrasalmidae) in two rivers of French Guiana Aufsätze Online ansehen Schließen > Zugang https://www.persee.fr/doc/revec_0249-7395_1993_num_48_4_2119 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erschienen in: Revue d'Écologie (La Terre et La Vie) ; Vol. 48, n° 4, pp. 421-435 Bending, Tim [VerfasserIn]; Downie, Angus [VerfasserIn]; Giordano, Thierry [VerfasserIn]; Minsat, Arthur [VerfasserIn]; Losch, Bruno [VerfasserIn]; Marchettini, Daniela [VerfasserIn]; Maino, Rodolfo [VerfasserIn]; Mecagni, Mauro [VerfasserIn]; Nelvin, Oskar [VerfasserIn]; Olaka, Habil [VerfasserIn]; Osoro, Jared [VerfasserIn]; Solignac-Lecomte, Henri-Bernard [VerfasserIn]; Stijns, Jean-Philippe [VerfasserIn]; Theobald, Stuart [VerfasserIn] Recent trends in banking in sub-Saharan Africa: From financing to investment Bücher Online ansehen Schließen > Links http://hdl.handle.net/10419/163410 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Luxembourg: European Investment Bank (EIB), 2015 Lecomte, Thierry Formal Methods Teaching: Teaching and Training in Formalisation with B Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Nature Switzerland, 2023 Erschienen in: Formal Methods Teaching Lecomte, Thierry Lecture Notes in Computer Science: Formal Modelling to Improve Safety and Security Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Nature Switzerland, 2023 Erschienen in: Lecture Notes in Computer Science Lecomte, Thierry Lecture Notes in Computer Science: Safe and Secure Architecture Using Diverse Formal Methods Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Nature Switzerland, 2022 Erschienen in: Lecture Notes in Computer Science Lecomte, Thierry Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: Digital Modelling in the Railways Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2021 Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends Lecomte, Thierry Lecture Notes in Computer Science: The Bourgeois Gentleman, Engineering and Formal Methods Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Lecture Notes in Computer Science Lecomte, Thierry Rigorous State-Based Methods: Programming the CLEARSY Safety Platform with B Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Rigorous State-Based Methods Lecomte, Thierry Formal Methods: Disruptive Innovations for the Development and the Deployment of Fault-Free Software Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Formal Methods Lecomte, Thierry FM 2015: Formal Methods: Formal Virtual Modelling and Data Verification for Supervision Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: FM 2015: Formal Methods Lecomte, Thierry Formal Methods for Industrial Critical Systems: Applying a Formal Method in Industry: A 15-Year Trajectory Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Formal Methods for Industrial Critical Systems
Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] ; RSSRail 1. 2016 Paris Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Cham]; Heidelberg: $nSpringer, [2016] Erschienen in: Lecture notes in computer science ; 9707
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry [VerfasserIn] Le Marais-Vernier, un territoire entre passé et modernité Aufsätze Online ansehen Schließen > Zugang https://www.persee.fr/doc/etnor_0014-2158_2017_num_1_1_3499 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erschienen in: Études Normandes ; Vol. 1, n° 1, pp. 12-19
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry [VerfasserIn] Loudun et son aire d'influence Aufsätze Online ansehen Schließen > Zugang https://www.persee.fr/doc/noroi_0029-182X_1981_num_111_1_3970 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erschienen in: Norois ; Vol. 111, n° 1, pp. 303-329
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ribeiro, Leila [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn] Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 10090
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Milius, Birgit [HerausgeberIn]; Collart-Dutilleul, Simon [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings - [1st ed. 2023.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023. Erschienen in: Lecture Notes in Computer Science ; 14198
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Collart-Dutilleul, Simon [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2019 Erschienen in: Programming and Software Engineering ; 11495- Springer eBooks ; Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Fantechi, Alessandro [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2017 Erschienen in: Lecture notes in computer science ; 10598
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9707
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Collart-Dutilleul, Simon [HerausgeberIn]; Haxthausen, Anne E. [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings - [1st ed. 2022.] Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022. Erschienen in: Lecture Notes in Computer Science ; 13294
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Frédérique [VerfasserIn]; Boujard, Thierry [VerfasserIn]; Meunier, François Jean [VerfasserIn]; Renno, Jean-François [VerfasserIn]; Rojas-Beltran, Ricardo [VerfasserIn] The growth of Myleus rhomboidalis (Cuvier, 1817) (Characiforme, Serrasalmidae) in two rivers of French Guiana Aufsätze Online ansehen Schließen > Zugang https://www.persee.fr/doc/revec_0249-7395_1993_num_48_4_2119 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erschienen in: Revue d'Écologie (La Terre et La Vie) ; Vol. 48, n° 4, pp. 421-435
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bending, Tim [VerfasserIn]; Downie, Angus [VerfasserIn]; Giordano, Thierry [VerfasserIn]; Minsat, Arthur [VerfasserIn]; Losch, Bruno [VerfasserIn]; Marchettini, Daniela [VerfasserIn]; Maino, Rodolfo [VerfasserIn]; Mecagni, Mauro [VerfasserIn]; Nelvin, Oskar [VerfasserIn]; Olaka, Habil [VerfasserIn]; Osoro, Jared [VerfasserIn]; Solignac-Lecomte, Henri-Bernard [VerfasserIn]; Stijns, Jean-Philippe [VerfasserIn]; Theobald, Stuart [VerfasserIn] Recent trends in banking in sub-Saharan Africa: From financing to investment Bücher Online ansehen Schließen > Links http://hdl.handle.net/10419/163410 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Luxembourg: European Investment Bank (EIB), 2015
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Formal Methods Teaching: Teaching and Training in Formalisation with B Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Nature Switzerland, 2023 Erschienen in: Formal Methods Teaching
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Lecture Notes in Computer Science: Formal Modelling to Improve Safety and Security Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Nature Switzerland, 2023 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Lecture Notes in Computer Science: Safe and Secure Architecture Using Diverse Formal Methods Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Nature Switzerland, 2022 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: Digital Modelling in the Railways Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2021 Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Lecture Notes in Computer Science: The Bourgeois Gentleman, Engineering and Formal Methods Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Rigorous State-Based Methods: Programming the CLEARSY Safety Platform with B Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2020 Erschienen in: Rigorous State-Based Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Formal Methods: Disruptive Innovations for the Development and the Deployment of Fault-Free Software Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2018 Erschienen in: Formal Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry FM 2015: Formal Methods: Formal Virtual Modelling and Data Verification for Supervision Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: FM 2015: Formal Methods
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lecomte, Thierry Formal Methods for Industrial Critical Systems: Applying a Formal Method in Industry: A 15-Year Trajectory Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Formal Methods for Industrial Critical Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (245) Wert ausschließen Bücher (8) Wert ausschließen Konferenzberichte (4) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (3) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (159) Wert ausschließen Ohne Angabe (97) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (210) Wert ausschließen Nicht zu entscheiden (43) Wert ausschließen Französisch (2) Wert ausschließen Deutsch (2) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Medizin (154) Wert ausschließen Chemie und Pharmazie (29) Wert ausschließen Biologie (28) Wert ausschließen Physik (12) Wert ausschließen Technik (10) Wert ausschließen Geographie (8) Wert ausschließen Informatik (8) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (5) Wert ausschließen Allgemeines (4) Wert ausschließen Mathematik (3) Wert ausschließen Psychologie (3) Wert ausschließen Geologie und Paläontologie (2) Wert ausschließen Geschichte (2) Wert ausschließen Soziologie (2) Wert ausschließen Philosophie (1) Wert ausschließen Wirtschaftswissenschaften (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Lecomte, Thierry (169) Wert ausschließen Tougeron, David (37) Wert ausschließen Aparicio, Thomas (35) Wert ausschließen Zaanan, Aziz (27) Wert ausschließen Coriat, Romain (25) Wert ausschließen Taieb, Julien (21) Wert ausschließen Artru, Pascal (19) Wert ausschließen Bonnetain, Franck (18) Wert ausschließen Bouché, Olivier (18) Wert ausschließen Locher, Christophe (15) Wert ausschließen Manfredi, Sylvain (15) Wert ausschließen Dubreuil, Olivier (14) Wert ausschließen Trouilloud, Isabelle (14) Wert ausschließen Caulet, Morgane (13) Wert ausschließen Hautefeuille, Vincent (13) Wert ausschließen Laurent-Puig, Pierre (13) Wert ausschließen Paintaud, Gilles (13) Wert ausschließen Hammel, Pascal (12) Wert ausschließen Ternant, David (12) Wert ausschließen Thirot-Bidault, Anne (12) Wert ausschließen Vernerey, Dewi (12) Wert ausschließen Afchain, Pauline (11) Wert ausschließen Borg, Christophe (11) Wert ausschließen Malka, David (11) Wert ausschließen Sefrioui, David (11) Wert ausschließen Taïeb, Julien (11) Wert ausschließen Bouche, Olivier (10) Wert ausschließen Dahan, Laetitia (10) Wert ausschließen Faroux, Roger (10) Wert ausschließen Guimbaud, Rosine (10) Wert ausschließen Walter, Thomas (10) Wert ausschließen Bachet, Jean-Baptiste (9) Wert ausschließen Marthey, Lysiane (9) Wert ausschließen Michel, Pierre (9) Wert ausschließen Rougier, Philippe (9) Wert ausschließen Chautard, Romain (8) Wert ausschließen Fein, Francine (8) Wert ausschließen Lecomte, Sylvain (8) Wert ausschließen Lecomte, Vivien (8) Wert ausschließen Legoux, Jean-Louis (8) Wert ausschließen Louvet, Christophe (8) Wert ausschließen Ouaissi, Mehdi (8) Wert ausschließen Volet, Julien (8) Wert ausschließen Azzopardi, Nicolas (7) Wert ausschließen Bachet, Jean Baptiste (7) Wert ausschließen Bedenne, Laurent (7) Wert ausschließen Capitain, Olivier (7) Wert ausschließen Delot, Thierry (7) Wert ausschließen Ferru, Aurélie (7) Wert ausschließen Francois, Eric (7) Wert ausschließen Giamarchi, Thierry (7) Wert ausschließen Henriques, Julie (7) Wert ausschließen Landi, Bruno (7) Wert ausschließen Lecaille, Cedric (7) Wert ausschließen Lièvre, Astrid (7) Wert ausschließen Mary, Florence (7) Wert ausschließen Morel, Alain (7) Wert ausschließen Neuzillet, Cindy (7) Wert ausschließen Pernot, Simon (7) Wert ausschließen Tournigand, Christophe (7) Wert ausschließen Agoritsas, Elisabeth (6) Wert ausschließen Bennouna, Jaafar (6) Wert ausschließen Berger, Anne (6) Wert ausschließen De La Fouchardiere, Christelle (6) Wert ausschließen Hermine, Olivier (6) Wert ausschließen Karayan-Tapon, Lucie (6) Wert ausschließen Metges, Jean-Philippe (6) Wert ausschließen Terrebonne, Eric (6) Wert ausschließen Touchefeu, Yann (6) Wert ausschließen Turpin, Anthony (6) Wert ausschließen Aubourg, Alexandre (5) Wert ausschließen Baumgaertner, Isabelle (5) Wert ausschließen Boussaha, Tarek (5) Wert ausschließen Breysacher, Gilles (5) Wert ausschließen Cauchin, Estelle (5) Wert ausschließen Cohen, Romain (5) Wert ausschließen Desramé, Jérôme (5) Wert ausschließen Etienne, Pierre-Luc (5) Wert ausschließen Gauthier, Mélanie (5) Wert ausschließen Girault, Alban (5) Wert ausschließen Gornet, Jean-Marc (5) Wert ausschließen Guyetant, Serge (5) Wert ausschließen Lecomte, Raphaël (5) Wert ausschließen Lepage, Come (5) Wert ausschließen Lepage, Côme (5) Wert ausschließen Lepère, Céline (5) Wert ausschließen Lombard-Bohas, Catherine (5) Wert ausschließen Maillard, Emilie (5) Wert ausschließen Matysiak-Budnik, Tamara (5) Wert ausschließen Mitry, Emmanuel (5) Wert ausschließen Picon, Laurence (5) Wert ausschließen Raoul, Jean-Luc (5) Wert ausschließen Raoul, William (5) Wert ausschließen Rinaldi, Yves (5) Wert ausschließen Silvain, Christine (5) Wert ausschließen Williet, Nicolas (5) Wert ausschließen Andre, Thierry (4) Wert ausschließen Andrejak, Claire (4) Wert ausschließen Asnacios, Amani (4) Wert ausschließen Beaugerie, Laurent (4) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Science and Business Media LLC (CrossRef) (42) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (40) Wert ausschließen Wiley (CrossRef) (25) Wert ausschließen Elsevier BV (CrossRef) (17) Wert ausschließen Springer International Publishing (CrossRef) (11) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (9) Wert ausschließen MDPI AG (CrossRef) (8) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (7) Wert ausschließen Frontiers Media SA (CrossRef) (7) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen American Physical Society (APS) (CrossRef) (6) Wert ausschließen Oxford University Press (OUP) (CrossRef) (6) Wert ausschließen Springer Nature Switzerland (CrossRef) (5) Wert ausschließen American Chemical Society (ACS) (CrossRef) (4) Wert ausschließen Anticancer Research USA Inc. (CrossRef) (4) Wert ausschließen DOAJ Directory of Open Access Journals (4) Wert ausschließen EDP Sciences (CrossRef) (4) Wert ausschließen SPIE (CrossRef) (4) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (3) Wert ausschließen Informa UK Limited (CrossRef) (3) Wert ausschließen Persée (3) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (3) Wert ausschließen American Medical Association (AMA) (CrossRef) (2) Wert ausschließen Bioscientifica (CrossRef) (2) Wert ausschließen European Respiratory Society (ERS) (CrossRef) (2) Wert ausschließen Hindawi Limited (CrossRef) (2) Wert ausschließen Impact Journals, LLC (CrossRef) (2) Wert ausschließen Japan Health Physics Society (CrossRef) (2) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2) Wert ausschließen The Endocrine Society (CrossRef) (2) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Baishideng Publishing Group Inc. (CrossRef) (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Consortium Erudit (CrossRef) (1) Wert ausschließen Copernicus GmbH (CrossRef) (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Ferrata Storti Foundation (Haematologica) (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen International Glaciological Society (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences I Archive (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen John Libbey Eurotext (CrossRef) (1) Wert ausschließen Massachusetts Medical Society (CrossRef) (1) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (1) Wert ausschließen S. Karger AG (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Scitechnol Biosoft Pvt. Ltd. (CrossRef) (1) Wert ausschließen Society of Nuclear Medicine (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen