- 博客(3)
- 资源 (111)
- 收藏
- 关注
原创 QT开发点滴记录
1 'class QString' has no member named 'toAscii'toAscii 替换为 toLatin12 错误:undefined reference to `GUID_DEVINTERFACE_COMPORT'#include 在文件qextserialenumerator.cpp中添加上面这个头文件引用语句3 错误:'PHYSICAL
2013-05-25 17:53:19 7686 3
原创 Git 若干问题及解答
一 中文显示和ls高亮问题1 添加ls设置存储到 /etc/profile 解决ls高亮问题 echo "alias ls='ls --color=tty --show-control-chars'" >> /etc/profile echo 'cd "$HOME"' >> /etc/profile说明: 这是为了在您使用ls命令时候可以高亮显示文件夹和可执行文件; 让Git B
2013-05-24 17:37:52 3599
原创 将数字按照其16进制的字符形式打印出来, 方便观察数据位的变化
#include "stdio.h"#include "malloc.h"//字节流变为对应的16进制字符流#define m_malloc(x, y) (malloc((x)))#define m_free(x) (free((x)))static char hex[] = {'0', '1', '2', '3', '4', '5', '6', '7',
2013-05-10 16:30:35 1097
Formal specification, monitoring, and verification of vehicle
2021-10-12
Electronic-system design in the automobile industry.pdf
2021-10-12
eiElektrotechnikundInformationstechnik_EASTADL_DJChen.pdf
2021-10-12
Deterministic Execution for Arbitrary Multithreaded Programs
2021-10-12
D.5.6.c SAFE - First prototype _Safety Code Generation_ - Report
2021-10-12
AutoSW_Track2_04.pdf
2021-10-12
Automotive embedded software design using formal methods
2021-10-12
An_Automated_Approach_to_the_Collatz_Conjecture.pdf
2021-10-12
The Philosophy of Computer Science
2021-09-04
The Lambda Calculus (Stanford Encyclopedia of Philosophy).pdf
2021-09-04
Propositional natural deduction COMP2600-COMP6260.pdf
2021-08-24
Meeting the design requirements for Bi-Directional-Capable OBC
2021-08-24
Industrial hardware and software verification with ACL2.pdf
2021-08-24
Formal Verification of Automotive Embedded UML Designs
2021-08-24
HowToAchieveFunctionalSafetyInSafetyCriticalEmbeddedSystems.mp4
2021-08-11
MultiCAN – a step to CAN and TTCAN.pdf
2021-07-29
VectorCAST_Following_the_ISO26262-2018-Guidelines-with-VectorCAST.pdf
2021-07-29
A brief history outline of Infineon's CAN modules.pdf
2021-07-29
tricore_llvm.pdf
2021-07-19
cadence skill.exe a kind of scheme/lisp interpreter
2018-03-03
PL2303_Prolific_Driver
2017-03-22
Visual C++ 2008 setup.exe
2015-09-29
NAND_Flash_Interface_DF.zip
2013-09-18
skyeye 1.26 windows
2013-06-14
qextserialport-1.2win-alpha_Qt_5_0_2
2013-05-25
windows XP超级终端
2013-05-24
wps4centos依赖的库文件(rpm格式)
2013-05-20
unix source v6 v5
2011-12-27
RT-Thread 国产OS 开源OS
2011-12-21
vim 7.3中文手册
2011-12-15
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人