杨红丽
【姓名】 杨红丽
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;电信技术;
【研究方向】
【发表文献关键词】 形式化方法,形式化说明,电话主叫信息数据传送,离散数学,PIC16C5X单片机,形式逻辑,Bchi自动机,形式化验证,命题时态逻辑,主叫信息,频移键控,液晶显示器,自动机,实时自动机,形式化规格说明...
【工作单位】 西安邮电学院
【曾工作单位】 西安邮电学院;
【所在地域】 陕西西安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/6 3 5 3 38 946
中国期刊全文数据库    共找到6篇
[1]杨红丽,王曙燕,韩俊刚.基于形式化的面向对象开发方法(FMOO)[J]计算机应用.2000,(05)
[2]杜慧敏,杨红丽,韩俊刚.实时系统状态空间分析的一种算法[J]计算机应用.2000,(S1)
[3]杜慧敏,杨红丽,高德远,韩俊刚.一种基于时态逻辑的有限状态系统验证方法[J]西北工业大学学报.2000,(01)
[4]杨红丽,刘建元,韩俊刚.基于PVS的飞机订票系统的形式化描述与验证[J]西安邮电学院学报.2001,(03)
[5]杨红丽.形式化方法(FM)[J]西安邮电学院学报.1999,(02)
[6]杨宇红,陈文艺,孟李林,杨红丽.一种基于PIC的电话主叫信息系统的实现方法[J]西安邮电学院学报.1999,(04)
更多