[1]
|
Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems
|
|
2021 11th IEEE …,
2021 |
|
|
[2]
|
Progetto PROSSIMO: RAPPORTO TECNICO Linguaggi di modellazione e specifica
|
|
2019 |
|
|
[3]
|
Protocol Syntax Development Using Domain Specific Modeling Languages
|
|
2019 |
|
|
[4]
|
New approach for modeling and developing multi-agent systems based on case based reasoning
|
|
2019 |
|
|
[5]
|
New Hybrid Approach Multi-agents System and Case Based Reasoning for Management of Common Renewable Resources
|
|
2019 |
|
|
[6]
|
Designing and Developing Multi-agent Systems for Management of Common Renewable Resources
|
|
2018 |
|
|
[7]
|
New Approach of Designing and Developing Multi-Agent Systems
|
|
2018 |
|
|
[8]
|
A modeling method for computer system security using structure and probability
|
|
2017 |
|
|
[9]
|
On the probabilistic verification of time constrained sysml state machine
|
|
2015 |
|
|
[10]
|
Model driven security framework for software design and verification
|
|
Security and Communication Networks,
2015 |
|
|
[11]
|
A Quantitative Verification Framework of SysML Activity Diagrams under Time Constraints
|
|
Expert Systems with Applications,
2015 |
|
|
[12]
|
On the Probabilistic Verification of Time Constrained SysML State Machines
|
|
Intelligent Software Methodologies, Tools and Techniques,
2015 |
|
|
[13]
|
A probabilistic and timed verification approach of SysML state machine diagram
|
|
Programming and Systems (ISPS), 2015 12th International Symposium on,
2015 |
|
|
[14]
|
A formal verification framework for SysML activity diagrams
|
|
Expert Systems with Applications,
2014 |
|
|
[15]
|
An Extended UML Method for the Verification of Security Protocols
|
|
Engineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on,
2014 |
|
|
[16]
|
AL-QualSADI Research Team, ENSIAS, Mohammed V Souissi University (UM5S), Rabat, Morocco
|
|
Design and Test Symposium (IDT), 2013 8th International,
2013 |
|
|
[17]
|
CSMA/CD 协议的形式化描述与验证机应用
|
|
计算机应用,
2013 |
|
|
[18]
|
基于 LABVIEW FPGA 模块与主机通信系统的设计
|
|
计算机应用,
2013 |
|
|
[19]
|
Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
|
|
Journal of Computer Science and Technology,
2012 |
|
|
[20]
|
Model–based verification of privacy preserving authentication protocol for VANETs
|
|
International Journal of Information Technology, Communications and Convergence,
2012 |
|
|
[21]
|
Model-based verification of privacy preserving authentication protocol for VANETs
|
|
International Journal of Information Technology, Communications and Convergence,
2012 |
|
|
[22]
|
一个 UML 状态机建模服务规范中的综合分布协议方
|
|
2012 |
|
|
[23]
|
基于场景的并发系统需求验证方法研究
|
|
哈尔滨工程大学学报,
2011 |
|
|
[24]
|
Verification and Validation in Systems Engineering
|
|
Springer-Verlag Berlin Heidelberg,
2010 |
|
|
[25]
|
Verification and validation of UML and SysML based systems engineering design models
|
|
Spectrum Research Repository,
2010 |
|
|
[26]
|
Verification, Validation, and Accreditation
|
|
Verification and Validation in Systems Engineering,
2010 |
|
|
[27]
|
安全协议的 SPIN 建模与分析
|
|
南京航空航天大学学报,
2009 |
|
|
[28]
|
Personelle Zusammensetzung
|
|
2009 |
|
|
[29]
|
Model Checking Agent using Formal Method for SMS
|
|
2008 |
|
|