photo

Lorenz Mende


Intenta GmbH

Last seen: 3 years 前 自 2016 起处于活动状态

Followers: 0   Following: 0

消息

software tester in a ASIL-D ISO 26262 project Tools: Polyspace Code Prover, automated through Jenkins

统计学

All
MATLAB Answers

1 个提问
0 个回答

Cody

0 个问题
4 个答案

排名
224,246
of 300,396

声誉
0

贡献数
1 个提问
0 个回答

回答接受率
0.0%

收到投票数
0

排名
 of 20,945

声誉
N/A

平均
0.00

贡献数
0 文件

下载次数
0

ALL TIME 下载次数
0

排名
63,665
of 168,524

贡献数
0 个问题
4 个答案

评分
50

徽章数量
1

贡献数
0 帖子

贡献数
0 公开的 个频道

平均

贡献数
0 个亮点

平均赞数

  • Scavenger Finisher
  • Solver

查看徽章

Feeds

排序方式:

提问


Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?
In Metrics server the Code Prover Results some files are organized in __pstf#number (so e.g. __pstf26) modules. When regrouping ...

9 years 前 | 1 个回答 | 0

1

个回答

已解决


Pizza!
Given a circular pizza with radius _z_ and thickness _a_, return the pizza's volume. [ _z_ is first input argument.] Non-scor...

9 years 前

已解决


Add two numbers
Given a and b, return the sum a+b in c.

9 years 前

已解决


Determine if input is odd
Given the input n, return true if n is odd or false if n is even.

9 years 前

已解决


Make the vector [1 2 3 4 5 6 7 8 9 10]
In MATLAB, you create a vector by enclosing the elements in square brackets like so: x = [1 2 3 4] Commas are optional, s...

9 years 前