-
1دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
2دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4
المؤلفون: Milena Vujošević Janičić
المصدر: International Journal of Software Engineering and Knowledge Engineering. 30:669-694
مصطلحات موضوعية: Model checking, Computer Networks and Communications, Computer science, business.industry, Programming language, 020207 software engineering, 02 engineering and technology, computer.software_genre, Formal methods, Computer Graphics and Computer-Aided Design, Development (topology), Software, Artificial Intelligence, 020204 information systems, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, business, computer, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::50580dc94d276dfde2444d8e1aeeda4d
https://doi.org/10.1142/s0218194020500242 -
5
المؤلفون: Xudong He, Dewan Mohammad Moksedul Alam
المصدر: International Journal of Software Engineering and Knowledge Engineering. 27:1455-1481
مصطلحات موضوعية: Model checking, Theoretical computer science, Computer Networks and Communications, Computer science, Liveness, 020207 software engineering, 02 engineering and technology, Petri net, Net (mathematics), Formal methods, Computer Graphics and Computer-Aided Design, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), SPIN model checker, 020201 artificial intelligence & image processing, Temporal logic, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5988feeee8792d7a2fdabddb3229ffdd
https://doi.org/10.1142/s021819401740006x -
6
المؤلفون: Guangquan Zhang, Yi Zhu, Fangxiong Xiao, Zhiqiu Huang, Hang Zhou
المصدر: International Journal of Software Engineering and Knowledge Engineering. 26:1099-1116
مصطلحات موضوعية: Theoretical computer science, Computer Networks and Communications, Computer science, Semantics (computer science), Distributed computing, Process calculus, Real-time computing, Process (computing), 0102 computer and information sciences, Formal methods, 01 natural sciences, Computer Graphics and Computer-Aided Design, Satisfiability, Hotspot (Wi-Fi), Resource (project management), 010201 computation theory & mathematics, Artificial Intelligence, Multi resource, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::04346547c390cc26c223fe84aed7daf2
https://doi.org/10.1142/s0218194016500388 -
7
المؤلفون: Xi Wang, Weikai Miao
المصدر: International Journal of Software Engineering and Knowledge Engineering. 26:587-610
مصطلحات موضوعية: Service (systems architecture), Computer Networks and Communications, Modeling language, business.industry, Computer science, Software requirements specification, 020207 software engineering, Usability, 02 engineering and technology, Analysis effort method, Formal methods, Computer Graphics and Computer-Aided Design, Artificial Intelligence, 020204 information systems, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, business, Software engineering, Formal verification, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2d5373d0f4443582597476820d344f6e
https://doi.org/10.1142/s0218194016400039 -
8
المؤلفون: Zhiyong Feng, Jiayi Xu, Honghao Gao, Guangquan Xu, Xiaohong Li, Jianye Hao, Li Xiaoru
المصدر: International Journal of Software Engineering and Knowledge Engineering. 26:563-585
مصطلحات موضوعية: Protocol (science), Model checking, Cryptographic primitive, Computer Networks and Communications, Computer science, Distributed computing, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, 020206 networking & telecommunications, 010103 numerical & computational mathematics, 02 engineering and technology, Cryptographic protocol, Formal methods, computer.software_genre, 01 natural sciences, Computer Graphics and Computer-Aided Design, Non-repudiation, Linear temporal logic, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Web service, computer, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2c358537e0232ff3505c5b20ab13c288
https://doi.org/10.1142/s0218194016400027 -
9
المؤلفون: Lily Chang, Xudong He
المصدر: International Journal of Software Engineering and Knowledge Engineering. 25:1199-1235
مصطلحات موضوعية: Model checking, Computer Networks and Communications, Computer science, Programming language, Multi-agent system, Complex system, computer.file_format, Petri net, Process architecture, computer.software_genre, Formal methods, Computer Graphics and Computer-Aided Design, Promela, Artificial Intelligence, Executable, computer, Algorithm, Software, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::26db3460078ce08fb5f45412192d8fca
https://doi.org/10.1142/s0218194015500230 -
10
المؤلفون: Katerina Ksystra, Petros Stefaneas, Panayiotis Frangos
المصدر: International Journal of Software Engineering and Knowledge Engineering. 25:1105-1128
مصطلحات موضوعية: Theoretical computer science, Computer Networks and Communications, Computer science, business.industry, Algebraic specification, Specification language, Formal methods, Computer Graphics and Computer-Aided Design, Automated theorem proving, Artificial Intelligence, Formal specification, Adaptive system, Software system, Software engineering, business, Formal verification, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8268ab43251fa16cfbb9c5a27c48ff63
https://doi.org/10.1142/s0218194015500199