Enhancing Formal Methods Integration with ACP2Petri

Journal title: Journal of Information and Organizational Sciences

Authors: Slavomír Šimoňák, Martin Šolc

Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems

Distributed Media Sharing

Journal title: International Journal of Engineering and Science Invention

Authors: Raybhan Pawar, Rehan Adthe, Manvi Chandaliya, Hatim Master

Subject(s):

Article processing charges

Type

License

Index