119 citations
- University of Southern DenmarkDK19 papers
- Technical University of MunichDE2 papers
- Aalborg UniversityDK1 paper
- Bandung Institute of TechnologyID1 paper
- Beihang UniversityCN1 paper
- Bernstein Center for Computational Neuroscience GöttingenDE1 paper
- Clausthal University of TechnologyDE1 paper
- Fraunhofer Institute for Production Technology IPTDE1 paper
- Institut Teknologi Sepuluh NopemberID1 paper
- Italian Institute of TechnologyIT1 paper
- Khalifa University of Science and TechnologyAE1 paper
- Mehran University of Engineering and TechnologyPK1 paper
Showing 2019Show all
2 papers · 1 filter
cs.SE2019
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
Eun-Young Kang
Development of quality assured software-intensive systems, such as automotive embedded systems, is an increasing challenge as the complexity of these systems significantly increase…
cs.CY2019
Crime Analysis using Open Source Information
Sarwat Nizamani, Nasrullah Memon, Azhar Ali Shah +3
In this paper, we present a method of crime analysis from open source information. We employed un-supervised methods of data mining to explore the facts regarding the crimes of an…