Detail publikace

On the Implementation of State-space Exploration Procedure in a Relational Database Management System

RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009, s. 151-156. ISBN 978-83-60810-22-4.
Název česky
O implementaci procedury pro prohledávání stavového prostoru v relačním databázovém systému
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt
Chování diskrétních systémů může být zkoumáno úplným prohledáváním stavového prostoru, jenž je generován podle přiřazené doménové sémantiky, využitím techniky model-checking. V tomto příspěvku popisujeme nový přístup využívající PL/SQL.
Rok
2009
Strany
151-156
Sborník
30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software
Konference
30th IFAC Workshop on Real-Time Programming, Mrągowo, PL
ISBN
978-83-60810-22-4
Vydavatel
IEEE Computer Society
Místo
Mragowo, PL
BibTeX
@INPROCEEDINGS{FITPUB9063,
   author = "Jaroslav R\'{a}b and Ond\v{r}ej Ry\v{s}av\'{y} and Miroslav \v{S}v\'{e}da",
   title = "On the Implementation of State-space Exploration Procedure in a Relational Database Management System",
   pages = "151--156",
   booktitle = "30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software",
   year = 2009,
   location = "Mragowo, PL",
   publisher = "IEEE Computer Society",
   ISBN = "978-83-60810-22-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9063"
}
Nahoru