author:Vaandrager, Frits | カーリル

お気に入り図書館を設定すると、貸出状況が表示されますエリアを選ぶ現在地から探す

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5813)

Ouaknine, Joel／Vaandrager, Frits W.

Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings (Lecture Notes in Computer Science, 1569)

van Schuppen, Jan H.／Vaandrager, Frits W.

Lectures on Embedded Systems: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 (Lecture Notes in Computer Science, 1494)

Rozenberg, Grzegorz／Vaandrager, Frits W.

The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)

Kaynar, Dilsun／Lynch, Nancy／Segala, Roberto／Vaandrager, Frits

The Theory of Timed I / O Automata (Synthesis Lectures on Computer Science, 1)

Kaynar, Dilsun K.／Lynch, Nancy／Segala, Roberto／Vaandrager, Frits

Veluwe zwerfpad: wandelen over de 'Eindeloze Veluwe'

Prins, Jaap／Moench, Diederik／Herk, Wim van／Pel, Henk／Vaandrager, Frits／Kooyman, Niels

The theory of timed I/O automata

Dilsun K. Kaynar... [et al.]