Context-aware approach for formal verification

Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications

Authors: Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe

Subject(s): Computer and Information Science, Data Communication and Networks

Article processing charges

Type

License

Index