An embeddable virtual machine for state space generation

Uložené v:

Podrobná bibliografia
Vydané 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ý príspevok..
Jazyk:	English
Vydavateľské údaje:	Heidelberg Springer 01.05.2010
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
ISSN:	1433-2779 1433-2787
DOI:	10.1007/s10009-010-0141-2