An embeddable virtual machine for state space generation

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 12; číslo 2; s. 97 - 111
Hlavní autor:	Weber, Michael
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Heidelberg Springer 01.05.2010
Témata:	Applied sciences Computer science; control theory; systems Exact sciences and technology Software Software engineering Modelling language Formal method Operational semantics Virtual machine Reuse PROMELA State space method Modeling Program verification Static analysis Model checking Computational linguistics Added value State space generation
ISSN:	1433-2779, 1433-2787
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!

Buďte první, kdo okomentuje tento záznam!