• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (9)
    • Akhtar, Sabina (2)
    • Bozzelli, Laura (2)
    • Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP) (2)
    • Laboratoire d'analyse et d'architecture des systèmes (LAAS) (2)
    • Lubat, Eric (2)
    • Montanari, Angelo (2)
    • Peron, Adriano (2)
    • Sala, Pietro (2)
    • Université Fédérale Toulouse Midi-Pyrénées (2)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 40 1 Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes Lubat, Eric. - : HAL CCSD, 2021 In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021) BASE Show details 2 Synchronous Product of Time Petri Netsand its Applications to Fault-Diagnosis ; Produit synchrone des réseaux de Petri temporelset ses applications au diagnostic de défauts Lubat, Eric. - : HAL CCSD, 2021 In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021) BASE Show details 3 Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes Bozzelli, Laura; Montanari, Angelo; Peron, Adriano. - : LIPIcs - Leibniz International Proceedings in Informatics. 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), 2021 BASE Show details 4 Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes ... Bozzelli, Laura; Montanari, Angelo; Peron, Adriano. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 BASE Show details 5 A Comprehensive Study of Declarative Modelling Languages Bandali, Amin. - : University of Waterloo, 2020 BASE Show details 6 Analysis of source code quality through a logic-based technique and application to robotics ; Analyse de la qualité de code via une approche logique et application à la robotique Come, David. - : HAL CCSD, 2019 In: https://hal.archives-ouvertes.fr/tel-02367673 ; Sciences de l'ingénieur [physics]. UNIVERSITE DE TOULOUSE, 2019. Français (2019) BASE Show details 7 Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates Voigt, Marco. - : Saarländische Universitäts- und Landesbibliothek, 2019 BASE Show details 8 A rule-based methodology to extract building model views de Farias, T.M.; Roxin, A.; Nicolle, C. In: Automation in Construction, vol. 92, pp. 214-229 (2018) BASE Show details 9 МЕТОД ПОСТРОЕНИЯ АБСТРАКТНЫХ МОДЕЛЕЙ, ИСПОЛЬЗУЕМЫХ ДЛЯ ВЕРИФИКАЦИИ ПРОТОКОЛОВ КОГЕРЕНТНОСТИ КЭШ-ПАМЯТИ МАСШТАБИРУЕМЫХ СИСТЕМ БУРЕНКОВ В.С.; ИВАНОВ С.Р.. - : Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный технический университет имени Н.Э.Баумана», 2017 BASE Show details 10 A first-order policy language for history-based transaction monitoring Bauer, Andreas; Gore, Rajeev; Tiu, Alwen In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015) BASE Show details 11 Lambda-calculus and formal language theory Salvati, Sylvain. - : HAL CCSD, 2015 In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015) BASE Show details 12 MEReq: a tool to capture and validate multi-lingual requirements Kamalrudin, Massila; Sidek, Safiah; Yusop, Noorrezam. - : IOS press, 2014 BASE Show details 13 Detection of Naming Convention Violations in Process Models for Different Languages Henrik Leopold; Rami-habib Eid-sabbagh; Jan Mendling... In: http://www.mendling.com/publications/DSS13-Convention.pdf (2013) BASE Show details 14 A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts Allam, Diana In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012) BASE Show details 15 Formal Verification of Distributed Algorithms using PlusCal-2 ; Vérification Formelle d'Algorithmes Distribués en PlusCal-2 Akhtar, Sabina. - : HAL CCSD, 2012 In: https://tel.archives-ouvertes.fr/tel-01749162 ; Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩ (2012) BASE Show details 16 Mémoire d'habilitation à diriger des recherches Madelaine, Florent. - : HAL CCSD, 2012 In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012) BASE Show details 17 Computation Sequence Chart: ein Konzept zur anforderungsbezogenen Testfallgenerierung ... Grosch, Vanessa. - : Universität Ulm, 2012 BASE Show details 18 Vérification formelle d'algorithmes distribués en PlusCal-2 ; Formal Verification of distributed algorithms using PlusCal-2 Akhtar, Sabina. - 2012 BASE Show details 19 The Complexity of Reversal-Bounded Model-Checking Bersani, Marcello,; Demri, Stéphane In: Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings ; 8th International Symposium on Frontiers of Combining Systems (FroCoS'11) ; https://hal.archives-ouvertes.fr/hal-03195045 ; 8th International Symposium on Frontiers of Combining Systems (FroCoS'11), Viorica Sofronie-Stokkermans; Cesare Tinelli, Oct 2011, Saarbruecken, Germany. pp.71-86, ⟨10.1007/978-3-642-24364-6_6⟩ ; https://www.springer.com/gp/book/9783642243639 (2011) BASE Show details 20 Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification Qureshi, Tahir Naseer; Chen, De-Jiu; Persson, Magnus. - : KTH, Inbyggda styrsystem, 2011 BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 5 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 35 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0