Description Language (SDL) Temporal logic of actions (TLA) uppaal USL VDM VDM-SL VDM++ Z言語モデルチェッカ SPIN PAT MALPAS Software Static Analysis Toolset [脚注の使い方]

ゲルハルト・ティベン

the Free and Hanseatic City of Lübeck 1939–1945]. Zweibrücken, Germany: VDM Heinz Nickel. ISBN 978-3-925480-79-9 Obermaier, Ernst (1989) (German). Die

プロセッサ・テクノロジー

Hardware”. Byte (Peterborough, NH: Green Publishing) 1 (3): 75. Processor Technology advertisement. The VDM-1 Video Display Module for the Altair computer

フリードリヒ＝カール・ミュラー (空軍中佐)

Gerd (2004). Die Ritterkreuzträger des Saarlandes 1939 – 1945. Zweibrücken: VDM Nickel. ISBN 3-925480-93-5 Obermaier, Ernst (1989) (German). Die Ritterkreuzträger

ヴァルター・エーザウ

Provinz Schleswig-Holstein und der Freien und Hansestadt Lübeck 1939–1945. VDM Heinz Nickel. ISBN 392548079X Kay, Antony L.; Smith Richard J., Creek Eddie

Found in articles

形式手法