Barry P. Scherr, James Bailey, Evgeny V. Kazartsev (eds.). Formal Methods in Poetics: A Collection of Scholarly Works Dedicated to the Memory of Professor M.A. Krasnoperova. RAM-Verlag, Lüdenscheid (Germany), 2011, 315 pp.
Michael WachtelPublished in: Glottometrics (2013)
Keyphrases
- formal methods
- computer science
- model checking
- main memory
- artificial intelligence
- knowledge based systems
- random access memory
- formal specification
- formal analysis
- software engineering
- safety critical
- digital libraries
- model checker
- process algebra
- provably correct
- reactive systems
- development lifecycle
- database
- memory access
- security properties
- thought provoking
- flash memory
- modeling language
- memory requirements
- expert systems
- document collections