logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
F

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025

IF
论文数13
被引数
期刊论文 13
发表时间
delete
Executable Conformance Testing Theories: From Theory to Practice and Back可执行一致性测试理论：从理论到实践及回归
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCarvalho, Gustavo; Santana, Lucas; Sobral, Fabio; Souza, Beatriz
delete分享
delete收藏
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems多智能体系统中不确定情境认知状态的正式验证
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAndrade, Jefferson O.
delete分享
delete收藏
Resource Contracts for Active Objects主动对象的资源合约
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDridi, Charaf Eddine; Pun, Violet Ka I.; Stolz, Volker
delete分享
delete收藏
Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language从受控自然语言编写的需求中推导出可靠的测试脚本
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteArruda, Filipe; Barros, Flavia; Sampaio, Augusto
delete分享
delete收藏
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models《生活SysML V2蓝图的研究议程：迈向可执行、可验证和可导航的系统模型》
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTeodorov, Ciprian; Lima, Lucas; Nogueira, Sidney C.; Guerin, Sylvain; Lagadec, Loic
delete分享
delete收藏
A Proof of the De Zolt Postulate in Three-Dimensional Space在三维空间中对德佐尔假设的证明
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCuconato, Bruno; Haeusler, Edward Hermann
delete分享
delete收藏
State-Based Security and Time-Inserting Supervisors基于状态的安全性与时间插入监控器
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGruska, Damas P.
delete分享
delete收藏
Bridging the B-Method and ACSL: Towards Verified C Code连接B-方法与ACSL：迈向验证C代码
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDias, Fagner M.; Oliveira, Marcel V. M.; Lecomte, Thierry
delete分享
delete收藏
A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD使用TASTD的模块化正交集成操作和规范性时序要求
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNdouna, Alex Rodrigue; Frappier, Marc; Mallet, Frederic
delete分享
delete收藏
The Turner 2-Strings Machines特纳2-字符串机器
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLins, Rafael Dueire
delete分享
delete收藏
Availability Model and Evaluation of Bus Rapid Transit Surveillance System巴士快速交通监控系统可用性模型与评估
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTrajano, Raquel F.; Melo, Carlos; Dantas, Jamilson
delete分享
delete收藏
Inference of Deterministic Finite Automata via Q-Learning基于Q学习的确定性有限自动机推理
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHosseinkhani, Elaheh; Leucker, Martin
delete分享
delete收藏
Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems为关键铁路系统机器学习输出开发安全控制器
deleteFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLecomte, Thierry
delete分享
delete收藏