Veröffentlichungen
Dezember 2017
So Mo Di Mi Do Fr Sa
    12
3456789
10111213141516
17181920212223
242526_2_7282930
31 
DBApp-Suche

Application datasets: 20304 Version datasets: 141342
DBApp v1.06
Copyright © demon
Werbung
  UPPAAL Timed Automata Parser Library

Die UPPAAL Timed Automata Parser Library (libutap) ist die Parser-Bibliothek von UPPAAL. Sie enthält einen Typ-Checker und unterstützt die Dateiformate TA, XTA und XML. (non)


 

Homepage: http://www.cs.auc.dk/~behrmann/utap/
Rating:
Lizenz: GNU Lesser General Public License (LGPL)
Kategorie: Konsole
 
 

.: Hauptzweig
2006-05-17  0.90  Ersteintrag  mehr...  
 
  Angaben ändern   Neue Version melden