Checking Opacity of Vulnerable Critical Systems On-The-Fly

E-ISSN： 1554-1053|10|1|1-30

ISSN： 1554-1045

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

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

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 verification and optimization of DTA-properties for large Markov chains

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

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

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

Bounded model checking of infinite state systems

By Schuele Tobias Schneider Klaus

Formal Methods in System Design, Vol. 30, Iss. 1, 2007-02 ,pp. : 51-81

Springer Publishing Company

Access to resources Recommend Favorite