Liudmila D. Cheremisinova

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j4		Dmitry Ya. Novikov, Liudmila D. Cheremisinova: Investigation of simulation-based verification methods for descriptions with functional indeterminacy. Automatic Control and Computer Sciences 46(5): 191-199 (2012)
	2011
j3		Dmitry Ya. Novikov, Liudmila D. Cheremisinova: Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability. Automatic Control and Computer Sciences 45(4): 206-217 (2011)
	2010
j2		Liudmila D. Cheremisinova, Dmitry Ya. Novikov: Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form. Automatic Control and Computer Sciences 44(1): 1-10 (2010)
c1		Liudmila D. Cheremisinova, Dmitry Ya. Novikov: SAT-based group method for verification of logical descriptions with functional indeterminacy. EWDTS 2010: 25-28
	2008
j1		D. I. Cheremisinov, Liudmila D. Cheremisinova: Programming of agents in the PRALU language. Automatic Control and Computer Sciences 42(4): 175-183 (2008)

Coauthor Index

1	D. I. Cheremisinov	[j1]
2	Yakov Novikov (Dmitry Ya. Novikov)	[j4] [j3] [j2] [c1]

Last update Mon May 20 04:06:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page