On-the-fly verification and optimization of DTA-properties for large Markov chains

Author： Mikeev Linar Neuhäußer Martin Spieler David Wolf Verena

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 313-337

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Distributed disk-based algorithms for model checking very large Markov chains

By Bell Alexander Haverkort Boudewijn

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 177-196

Springer Publishing Company

Access to resources Recommend Favorite

Checking Opacity of Vulnerable Critical Systems On-The-Fly

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 10, Iss. 1, 2015-01 ,pp. : 1-30

IGI Global_journal

Access to resources Recommend Favorite

On-the-fly scene acquisition with a handy multi-sensor system

By Huhle Benjamin Jenke Philipp Strasser Wolfgang

International Journal of Intelligent Systems Technologies and Applications, Vol. 5, Iss. 3-4, 2008-11 ,pp. : 255-263

Inderscience Publishers

Access to resources Recommend Favorite

The multi-dataflow composer tool: generation of on-the-fly reconfigurable platforms

By Palumbo Francesca Carta Nicola Pani Danilo Meloni Paolo Raffo Luigi

Journal of Real-Time Image Processing, Vol. 9, Iss. 1, 2014-03 ,pp. : 233-249

Springer Publishing Company

Access to resources Recommend Favorite

On-the-fly GPS-based attitude determination using single- and double-differenced carrier phase measurements

By Li Y. Zhang K. Roberts C. Murata M.

GPS Solutions, Vol. 8, Iss. 2, 2004-07 ,pp. : 93-102

Springer Publishing Company

Access to resources Recommend Favorite