Das Buch ist derzeit nicht auf Lager
Advances in verification of time Petri nets and timed automata
Autoren
Mehr zum Buch
Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automata
Buchvariante
2006Buchkauf
Wir benachrichtigen dich per E-Mail.