2

現在、UPPAAL シミュレーターを実行しています。私のシミュレーターは、特定の時点でコードの実行を停止します。この点は、私が提供する宣言によって異なります。しかし、私は一般的にいつ時計が停止するのか知りたいですか? これを引き起こす何かがありますか？

4

1 に答える 1