• Refine your search:
  • 
    Keyword:
    
    • ACM: D.: Software / D.2: SOFTWARE ENGINEERING / D.2.2: Design Tools and Techniques (2)
    • [INFO.INFO-MO]Computer Science [cs] / Modeling and Simulation (2)
    • [INFO.INFO-SE]Computer Science [cs] / Software Engineering [cs.SE] (2)
    • !SAE!standard!AADL! (1)
    • !formal!semantics!and!analysis (1)
    • !synchronous!programming (1)
    • ACM: D.: Software / D.2: SOFTWARE ENGINEERING (1)
    • ACM: D.: Software / D.2: SOFTWARE ENGINEERING / D.2.13: Reusable Software (1)
    • ACM: D.: Software / D.2: SOFTWARE ENGINEERING / D.2.1: Requirements / Specifications (1)
    • ACM: D.: Software / D.2: SOFTWARE ENGINEERING / D.2.4: Software / Program Verification (1)
    •   more
  • 
    Creator / Publisher:
    
    • Institut National de Recherche en Informatique et en Automatique (Inria) (2)
    • Autonomic and Critical Embedded Systems (ACES) (1)
    • Besnard, Loïc (1)
    • Borde, Etienne (1)
    • Boulet, Pierre (1)
    • CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1) (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA) (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)) (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay (1)
    • Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST) (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (1)
    • Miscellaneous (1)
  • 
    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 Hits 1 – 2 of 2 1 Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL) Besnard, Loïc; Borde, Etienne; Dissaux, Pierre... In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014) BASE Show details 2 A Component-Based Approach for Specifying DSML's Concrete Syntax El Kouhen, Amine; Dumoulin, Cedric; Gerard, Sébastien... In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 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 2 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0