Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ayman Naseem
Formal Specification of a Truck Geo-Location Big-Data Application
International Journal of Advanced Computer Science and Applications
Computer Science
Related publications
Exploring Telematics Big Data for Truck Platooning Opportunities
A Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Research and Application of Sun Shadow Location Technology in Video Big Data
DEStech Transactions on Computer Science and Engineering
Model-Based Formal Specification Directed Testing of Abstract Data Types
Formal Specification and Verification
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysis and Applications of Location-Aware Big Complex Network Data
Complexity
Multidisciplinary
Computer Science
