Verification of the Possibility of Using a Smartphone with Matlab Mobile in Transport Monitoring Applications.
Lukasz ScisloPaula AndruszkiewiczPublished in: IDAACS (2023)
Keyphrases
- mobile devices
- mobile applications
- mobile phone
- monitoring system
- real time
- mobile environments
- mobile users
- mobile computing
- android application
- model checking
- mobile learning
- context aware
- m learning
- decision support
- mobile services
- user experience
- daily life
- mobile technologies
- mobile communication
- learning activities
- multimedia
- formal methods
- plan execution
- signature verification
- formal verification
- image processing