Tools for Model-Checking Timed Systems

Alexandre David, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Paul Pettersson, Jiri Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelCommunicating Embedded Systems for Computer Science
RedaktørerOlivier H. Roux, Claude Jard
ForlagWiley
Publikationsdatookt. 2009
Sider165-225
ISBN (Trykt)978-184821143-8, 1848211430
StatusUdgivet - okt. 2009

Citationsformater