concurrent programs; constructive type theory; formal program development; formal specification; formal verification; nondeterminism;
机译:EB-DEVS:动态复杂系统中紧急行为的建模和模拟的正式框架
机译:可能的推理+部分模型:研究程序方法论的正式框架
机译:可能的推理+部分模型:研究程序方法论的正式框架
机译:走向正式开发并发计划的框架:建模动态行为
机译:一个集成的静态和动态程序分析框架,用于检查与并发相关的编程错误。
机译:支持应急服务(CRISES)的危机可靠性指标:为行为健康危机和精神病应急计划制定绩效指标的框架
机译:开发具有动态结构和行为的多主体系统的正式建模框架