photo

Lorenz Mende


Intenta GmbH

Last seen: 3年以上 前 |  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 解答

ランク
232,649
of 300,829

評判
0

コントリビューション
1 質問
0 回答

回答採用率
0.0%

獲得投票数
0

ランク
 of 21,088

評判
N/A

平均評価
0.00

コントリビューション
0 ファイル

ダウンロード
0

ALL TIME ダウンロード
0

ランク
64,833
of 171,210

コントリビューション
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年以上 前 | 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年以上 前

解決済み


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

9年以上 前

解決済み


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

9年以上 前

解決済み


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年以上 前