%0 Conference Proceedings
%T State Machine Abstraction Layer
%+ Czech Technical University in Prague (CTU)
%A Kufner, Josef
%A Mařík, Radek
%Z Part 1: Information & Communication Technology-EurAsia Conference 2014, ICT-EurAsia 2014
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia)
%C Bali, Indonesia
%Y David Hutchison
%Y Takeo Kanade
%Y Bernhard Steffen
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Gerhard Weikum
%Y Linawati
%Y Made Sudiana Mahendra
%Y Erich J. Neuhold
%Y A Min Tjoa
%Y Ilsun You
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Alfred Kobsa
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%I Springer
%3 Information and Communication Technology
%V LNCS-8407
%P 213-227
%8 2014-04-14
%D 2014
%R 10.1007/978-3-642-55032-4_21
%K Smalldb
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X Smalldb uses a non-deterministic parametric finite automaton combined with Kripke structures to describe lifetime of an entity, usually stored in a traditional SQL database. It allows to formally prove some interesting properties of resulting application, like access control of users, and provides primary source of metadata for various parts of the application, for example automatically generated user interface and documentation.
%G English
%Z TC 5
%Z TC 8
%2 https://inria.hal.science/hal-01397199/document
%2 https://inria.hal.science/hal-01397199/file/978-3-642-55032-4_21_Chapter.pdf
%L hal-01397199
%U https://inria.hal.science/hal-01397199
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-TC8
%~ IFIP-ICT-EURASIA
%~ IFIP-LNCS-8407