Developing U PPAAL over 15 years

U PPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling...

Celý popis

Podrobná bibliografie

Vydáno v:	Software, practice & experience Ročník 41; číslo 2; s. 133 - 142
Hlavní autoři:	Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	01.02.2011
ISSN:	0038-0644, 1097-024X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!