Veröffentlichungen
April 2015
So Mo Di Mi Do Fr Sa
  1234
567891011
12131415161718
19202122232425
2627282930 
DBApp-Suche

Application datasets: 19694 Version datasets: 132050
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