DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Verification Architectures: Compositional Reasoning for Real-time Systems
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
BASE
Show details
2
Maritime Domain Awareness via Agent Learning and Collaboration
In: DTIC (2010)
BASE
Show details
3
Enhancing a Web Crawler with Arabic Search Capability
In: DTIC (2010)
BASE
Show details
4
Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool
In: DTIC (2010)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern